...
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 | ||||||||
| GCC | 8.1 | -Wstringop-truncation | Detects string truncation by strncat and strncpy. | ||||||
| Klocwork |
| ||||||||
| LDRA tool suite |
| 115 S, 44 S | Partially implemented | ||||||
| Parasoft C/C++test |
| 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 |
...