...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| 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
|
...