...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
ERR06-C | Medium | Unlikely | No | NoMedium | P4P2 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| bad-function bad-macro-use | Supported | ||||||
| Compass/ROSE | Can detect some violations of this rule. However, it can only detect violations involving | ||||||||
| LDRA tool suite |
| 44 S | Enhanced enforcement | ||||||
| Parasoft C/C++test |
| CERT_C-ERR06-a | Do not use assertions | ||||||
| PC-lint Plus |
| 586 | Fully supported | ||||||
| PVS-Studio |
| ||||||||
| RuleChecker |
| bad-function bad-macro-use | Supported |
...