Vetting browser extensions for security vulnerabilities with VEX
JavaScript instrumentation for browser security