Automatic Testing of Program Security Vulnerabilities
Static detection of cross-site scripting vulnerabilities