
...
Tool | Version | Checker | Description | |||||||
---|---|---|---|---|---|---|---|---|---|---|
CodeSonar |
| ALLOC.SIZE.IOFLOW | Integer Overflow of Allocation Size | |||||||
Coverity |
| REVERSE_NEGATIVE | Fully implemented | |||||||
Cppcheck |
| negativeArraySize | Context sensitive analysis | |||||||
Cppcheck Premium |
| negativeArraySize premium-cert-arr32-c Context sensitive analysisWill warn only if given size is negative | ||||||||
Helix QAC |
| C1051 | ||||||||
Klocwork |
| MISRA.ARRAY.VAR_LENGTH.2012 | ||||||||
LDRA tool suite |
| 621 S | Enhanced enforcement | |||||||
Parasoft C/C++test |
| CERT_C-ARR32-a | Ensure the size of the variable length array is in valid range | |||||||
PC-lint Plus |
| 9035 | Assistance provided | |||||||
Polyspace Bug Finder |
| Checks for:
Rule fully covered. | ||||||||
TrustInSoft Analyzer |
| alloca_bounds | Exhaustively verified. |
...