Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution
Securing web application code by static analysis and runtime protection