...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.MEM.BO | Buffer overrun | ||||||
| Compass/ROSE |
|
| Can detect violations of the rule by using the same method as STR31-C. Guarantee that storage for strings has sufficient space for character data and the null terminator | ||||||
| Parasoft C/C++test | 9.5 | SECURITY-07, SECURITY-12, BD-PB-OVERFWR | |||||||
| Polyspace Bug Finder | R2016a | Destination buffer overflow in string manipulation | Function writes to buffer at offset greater than buffer size Argument is from an unsecure source and may be NULL or not NULL-terminated Dangerous functions cause possible buffer overflow in destination buffer |
...