...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| sizeof-array-parameter | Fully checked | ||||||
Axivion Bauhaus Suite |
| CertC-ARR01 | Fully implemented | ||||||
CodeSonar |
| LANG.TYPE.SAP | sizeof Array Parameter | ||||||
Compass/ROSE | Can detect violations of the recommendation but cannot distinguish between incomplete array declarations and pointer declarations | ||||||||
Klocwork |
| CWARN.MEMSET.SIZEOF.PTR | Fully implemented | ||||||
LDRA tool suite |
| 401 S | Fully implemented | ||||||
Parasoft C/C++test |
| CERT_C-ARR01-a | Do not call 'sizeof' on a pointer type | ||||||
PC-lint Plus |
| 682, 882 | Fully supported | ||||||
Polyspace Bug Finder |
| Checks for:
Rec, fully covered. | |||||||
Splint |
| ||||||||
PVS-Studio |
| V511, V512, V514, V568, V579, V604, V697, V1086 | |||||||
RuleChecker |
| sizeof-array-parameter | Fully checked |
...