Atlantis: robust, extensible execution environments for web applications
Compilers: Principles, Techniques, and Tools