Atlantis: robust, extensible execution environments for web applications
Detection and analysis of drive-by-download attacks and malicious JavaScript code