Static detection of second-order vulnerabilities in web applications
Static detection of security vulnerabilities in scripting languages