...
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 | 9.5 | BD-SECURITY-TDLOG | Implemented |
...
...
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 | 9.5 | BD-SECURITY-TDLOG | Implemented |
...