Analyzing Information Flow in JavaScript-based Browser Extensions
JavaScript instrumentation for browser security