...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
CodeSonar |
| MISC.MEM.NTERM | No Space For Null Terminator | ||||||
Compass/ROSE |
|
| Could detect violations in the following manner: all calls to | ||||||
Fortify SCA | 5.0 |
| Can detect violations of this rule with CERT C Rule Pack | ||||||
Klocwork |
| NNTS |
| ||||||
LDRA tool suite |
| 115 S, 44 S | Partially implemented | ||||||
Parasoft C/C++test | 9.5 | BD-PB-OVERNZT | |||||||
Polyspace Bug Finder | R2016a | Buffer overflow from incorrect string format specifier | String format specifier causes buffer argument of standard library functions to overflow |
...