...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
CodeSonar |
| BADFUNC.BO.* | A collection of checks that report uses of library functions prone to internal buffer overflows. | ||||||
Parasoft C/C++test |
| SECURITY-12, SECURITY-07 | |||||||
Polyspace Bug Finder | R2016a | Array access with tainted index | Functions that read or write to or from an array should take an argument to specify the source or target size |
...