...
| Tool | Version | Checker | Description |
|---|---|---|---|
| Coverity | 67.5 | INTEGER_OVERFLOW | Implemented |
| LDRA | 7.6 | Implemented | |
| Klocwork | 8.0.4.16 | ABR ABV.TAINTED SV.TAINTED.INDEX_ACCESS | Implemented |
| Compass/ROSE | Implemented | ||
| G++ |
...
[ISO/IEC PDTR 24772] "XYX Boundary Beginning Violation," "XYY Wrap-around Error," and "XYZ Unchecked Array Indexing"
[MITRE] CWE ID 119, "Failure to Constrain Operations within the Bounds of a Memory Buffer"
[MITRE] CWE ID 129, "Improper Validation of Array Index"
[Viega 05] Section 5.2.13, "Unchecked array indexing"
...
ARR04CTR04-CPP. Assume responsibility for cleaning up data referenced by a container of pointers 06. Arrays and the STL (ARR) ARR31-CPP. Use consistent array notation across all source filesContainers (CTR)