...
Tool | Version | Checker | Description | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||||
| CodeSonar |
| LANG.STRUCT.PARITH LANG.MEM.BO | Pointer arithmetic Buffer overrun | ||||||||
| Klocwork |
| ABV.ITERATOR ABV.GENERAL | |||||||||
| LDRA tool suite |
| 45 D | Partially implemented | ||||||||
| Parasoft C/C++test |
| CERT_C-EXP08-a | Pointer arithmetic should not be used | ||||||||
| Parasoft Insure++ | Runtime analysis | ||||||||||
| Polyspace Bug Finder |
| Implicit scaling in pointer arithmetic might be ignored Pointer dereferenced outside its bounds Standard library memory function called with invalid arguments | |||||||||
| PRQA QA-C |
| 0488, 2930, 2931, 2932, 2933, 2934 | Partially implemented | ||||||||
| PVS-Studio |
| V503, V520, V574, V600, V613, V619, V620, V643, V650, V687, V769, V1004 |
...