A tested semantics for getters, setters, and eval in JavaScript
JavaScript instrumentation for browser security