Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution
Sound and precise analysis of web applications for injection vulnerabilities