...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.MEM.BO | Buffer overrun | ||||||
| Klocwork |
| ABV.ANY_SIZE_ARRAY ABV.GENERAL ABV.STACK ABV.TAINTED SV.TAINTED.ALLOC_SIZE SV.TAINTED.CALL.INDEX_ACCESS SV.TAINTED.CALL.LOOP_BOUND SV.TAINTED.INDEX_ACCESS | |||||||
| LDRA tool suite |
| 45 D, 47 S, 476 S, 489 S, 64 X, 66 X, 68 X, 69 X, 70 X, 71 X, 79 X | Partially implemented | ||||||
| Parasoft C/C++test | 9.5 | STL-36 | |||||||
| PRQA QA-C | 4.1 | 3705, 3706, 3707 | |||||||
| PRQA QA-C++ |
| 2891, 3051, 3139, 3140 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...