...
Recommendation | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
MSC12-C | low | unlikely | medium | P2 | L3 |
Automated Detection
The LDRA tool suite V 7.6.0 can detect violations of this recommendation.
Splint Version 3.1.1 can detect violations of this recommendation.
...
Tool | Version | Option | Description |
|---|---|---|---|
V. 5.0 | NO_EFFECT | finds statements or expressions that do not accomplish anything, or statements that perform an unintended action | |
GCC | V. 4.3. |
...
5 |
|
| |
EFFECT |
|
| |
V. 7.6.0 |
|
| |
Splint | V. 3.1.1 |
|
|
GCC Compiler can detect violations of this recommendation when the -Wall flag is used.
...
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
Other Languages
Cross Reference
CERT This rule appears in the C++ Secure Coding Standard as : MSC12-CPP. Detect and remove code that has no effect.
References
CERT Oracle Secure Coding Standard for Java: MSC17-J. Detect and remove dead code
ISO/IEC TR 24772: "BRS Leveraging human experience," "BVQ Unspecified Functionality," "KOA Likely incorrect expressions," and "XYQ Dead and Deactivated Code"
MISRA C 2004: Rule 14.1 and Rule 14.2
Bibliography
| Wiki Markup |
|---|
\[[Coverity 07|AA. References#Coverity 07]\] |
| Wiki Markup |
\[[Coverity 07|AA. References#Coverity 07]\]
\[[ISO/IEC PDTR 24772|AA. References#ISO/IEC PDTR 24772]\] "BRS Leveraging human experience," "BVQ Unspecified Functionality," "KOA Likely incorrect expressions," and "XYQ Dead and Deactivated Code"
\[[MISRA 04|AA. References#MISRA 04]\] Rule 14.1 and Rule 14.2 |
...