...
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 |
| CERT_C-STR03-a | Avoid overflow due to reading a not zero terminated string | ||||||||
| Polyspace Bug Finder |
| Buffer overflow from incorrect string format specifier | String format specifier causes buffer argument of standard library functions to overflow |
...