...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| The Checker Framework |
| Tainting Checker | Trust and security errors (see Chapter 8) | ||||||
| Coverity | 7.5 | SQLI | Implemented | ||||||
| Findbugs | 1.0 | SQL_NONCONSTANT_STRING_PASSED_TO_EXECUTE | Implemented | ||||||
| Fortify | 1.0 | HTTP_Response_Splitting | Implemented | ||||||
| Klocwork | SV.DATA.BOUND | Implemented | |||||||
| Parasoft Jtest |
| BD-SECURITY-CERT.IDS00.TDSQL | Protect against SQL injection | ||||||
| SonarQube |
|
...