...
Recommendation | Severity | Likelihood | Detectable | Repairable | Priority | Level |
|---|---|---|---|---|---|---|
PRE10-C | Medium | Probable | Yes | Yes | P18P12 | L1 |
Automated Detection
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC-PRE10 | |||||||
| Helix QAC |
| C3412, C3458 | |||||||
| Klocwork |
| MISRA.DEFINE.BADEXP | |||||||
| LDRA tool suite |
| 79 S | Enhanced enforcement | ||||||
| PC-lint Plus |
| 9502 | Fully supported | ||||||
| Polyspace Bug Finder |
| CERT C: Rec. PRE10-C | Checks for macros with multiple statements (rule fully covered) |
...