Static analysis for detecting taint-style vulnerabilities in web applications