...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
ARR01-C | High | Probable | No | LowYes | P18P12 | L1 |
Automated Detection
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 | ||||||||||||
| Helix QAC |
| C1321 | |||||||||||
| 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 |
| PB-32 | Fully implemented
| 682, 882 | Fully supported | ||||||||
| Polyspace Bug Finder |
| R2016a
| Checks for:
| Use of Rec, fully covered. | |||||||||
| Splint |
| ||||||||||||
| PVS-Studio | 6.22
| V511, V512, V514, V568, V579, V604, V697 | , V1086 | ||||||||||
| RuleChecker |
| sizeof-array-parameter | Fully checked | General analysis rule set
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...