...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Coverity | 6.5 | REVERSE_NEGATIVE | Fully implemented | ||||||
| LDRA tool suite |
| 621 S | Enhanced enforcement | ||||||
| Polyspace Bug Finder | R2016a | Tainted size of variable length array | Size of the variable-length array (VLA) is from an unsecure source and may be zero, negative, or too large | ||||||
| PRQA QA-C |
| 1051 | Partially implemented | ||||||
| Cppcheck |
| negativeArraySize | Context sensitive analysis |
...