...
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
---|---|---|---|---|---|
FLP36-C | Low | Unlikely | Medium | P2 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported, but no explicit checker | |||||||
Coverity |
| MISRA C 2004 Rule 10.x (needs investigation) | Needs investigation | ||||||
LDRA tool suite |
| 435 S | Fully implemented | ||||||
Parasoft C/C++test |
| MISRA-043_c, MISRA-043_d | Implemented | ||||||
PRQA QA-C++ |
| 3011 | |||||||
PRQA QA-C | 9.1 | 3804, 4453, 4454 | |||||||
PVS-Studio | 6.22 | V674 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...