Static detection of cross-site scripting vulnerabilities
JavaScript instrumentation for browser security