Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution