...
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 A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand Subtraction between pointers shall only be applied to pointers that address elements of the same array The relational operators >, >=, < and <= shall not be applied to objects of pointer type except where they point into the same object | |||||||
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 |
...