...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Coverity |
| REVERSE_NEGATIVE | Fully implemented | ||||||||||
| Helix QAC |
| ||||||||||||
| 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 |
| 1051 | Partially implemented | ||||||||||
| Cppcheck |
| negativeArraySize | Context sensitive analysis | ||||||||||
| TrustInSoft Analyzer |
| alloca_bounds | Exhaustively verified. | Helix QAC | | Include Page | | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...