Security slicing for auditing XML, XPath, and SQL injection vulnerabilities
Semantic security against web application attacks