...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Coverity |
| REVERSE_NEGATIVE | Fully implemented | ||||||
| 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 | ||||||
| Polyspace Bug Finder |
| Checks for:
Rule fully covered. | |||||||
| PRQA QA-C |
| 1051, 2052 | Partially implemented | ||||||
| Cppcheck |
| negativeArraySize | Context sensitive analysis | ||||||
| TrustInSoft Analyzer |
| alloca_bounds | Exhaustively verified. |
...