CRAXweb: Automatic Web Application Testing and Attack Generation
A Symbolic Execution Framework for JavaScript