...
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 analysis Will 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. | PRQA QA-C | ||||||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 1051 | Partially implemented | Cppcheck | ||||||||||||||||
| Include Page | Cppcheck_V | Cppcheck_V | negativeArraySize | Context sensitive analysis||||||||||||||||||
| TrustInSoft Analyzer |
| alloca_bounds | Exhaustively verified. |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...