...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.MEM.BO LANG.MEM.BU LANG.STRUCT.PBB LANG.STRUCT.PPE LANG.MEM.TBA LANG.MEM.TO LANG.MEM.TU | Buffer overrun Buffer underrun Pointer before beginning of object Pointer past end of object Tainted buffer access Type overrun Type underrun | ||||||
| 45 D | Partially implemented | |||||||
| Parasoft C/C++test | 9.5 | MISRA-101 BD-PB-ARRAY | Checks all array access, not just pointer arithmetic | ||||||
| Parasoft Insure++ | Runtime analysis for over- or under- read or write | ||||||||
| Polyspace Bug Finder | R2016a | Implicit scaling in pointer arithmetic might be ignored Pointer dereferenced outside its bounds | |||||||
| PRQA QA-C |
| 0488, 2930, 2931, 2932, 2933, 2934 | Partially implemented
|
...