...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
MSC21-C | Low | Unlikely | No | LowNo | P3P1 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported: Astrée reports potential infinite loops. | |||||||
| CodeSonar |
| LANG.STRUCT.LOOP.HR | High risk loop | ||||||
| Compass/ROSE | |||||||||
| LDRA tool suite |
| 510 S | Partially implemented | ||||||
| PC-lint Plus |
| 440, 442, 443, | Partially supported | ||||||
| Polyspace Bug Finder |
| Checks for loop bounded with tainted value (rec. partially covered) | |||||||
| PVS-Studio |
| V621 | |||||||
| Security Reviewer - Static Reviewer |
| ctuOneDefinitionRuleViolation | Fully implemented |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...