Improving application security with data flow assertions
Sound and precise analysis of web applications for injection vulnerabilities