...
Tool | Version | Checker | Description | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Coverity |
| REVERSE_NEGATIVE | Fully implemented | ||||||||
| LDRA tool suite |
| 621 S | Enhanced enforcement | ||||||||
| Polyspace Bug Finder |
| Size argument to memory function is from an unsecure source 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 |
...