A symbolic execution framework for JavaScript (2010)

by P Saxena, D Akhawe, S Hanna, F Mao, S McCamant, D Song
Venue:In Proceedings of the 2010 IEEE Symposium on Security and Privacy