...
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
DCL17-C | Medium | Probable | High | P4 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| LDRA tool suite |
| 134 S | Partially implemented |
Bibliography
| [Eide and Regehr] | "Volatiles Are Miscompiled, and What to Do about It" |
| [ISO/IEC 9899:2011] | Subclause 6.7.3, "Type Qualifiers" |
...