Sound and precise analysis of web applications for injection vulnerabilities
Static detection of security vulnerabilities in scripting languages