Analyzing Information Flow in JavaScript-based Browser Extensions
Using static analysis for Ajax intrusion detection