symbolic execution framework for JavaScript

FREE-DOWNLOAD P Saxena, D Akhawe, S Hanna, F Mao… – 2010 research Symposium
Abstract—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly
complex. However, few automated vulnerability analysis tools for JavaScript exist. In this
paper, we describe the first system for exploring the execution space of JavaScript code