JavaScript instrumentation for browser security
Static detection of security vulnerabilities in scripting languages