Sound and precise analysis of web applications for injection vulnerabilities
Securing web application code by static analysis and runtime protection