TAJ: effective taint analysis of web applications
Sound and precise analysis of web applications for injection vulnerabilities