...
Tool | Version | Checker | Description | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| IO.TAINT.SIZE MISC.MEM.SIZE.BAD | Tainted Allocation Size Unreasonable Size Argument | ||||||||
| STACK_USE | Can help detect single stack allocations that are dangerously large, although it will not detect excessive stack use resulting from recursion | |||||||||
| Klocwork |
| MISRA.FUNC.RECUR | |||||||||
| LDRA tool suite |
| 44 S | Enhanced Enforcement | ||||||||
| Polyspace Bug Finder |
| 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 Size of variable-length array is zero or negative Functions shall not call themselves, either directly or indirectly | ||||||||
| PRQA QA-C |
| 1520 1051 | Partially implemented | ||||||||
| PVS-Studio |
| V505 |
...