Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution

The automatic identification of security vulnerabilities is a critical issue in the development of web-based applications. We present a methodology and tool ...