...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| The Checker Framework |
| Tainting Checker | Trust and security errors (see Chapter 8) | ||||||
| Fortify | Log_Forging | Implemented | |||||||
| Klocwork | SVLOG_FORGING | Implemented | |||||||
| Parasoft Jtest |
| BD-SECURITY-CERT.IDS03.TDLOG | Protect against log forging |
...