ADsafety: Type-Based Verification of JavaScript Sandboxing
Type Analysis for JavaScript