...
| Wiki Markup |
|---|
\[[Coverity 07|AA. C References#Coverity 07]\] \[[ISO/IEC PDTR 24772|AA. C 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. C References#MISRA 04]\] Rule 14.1 and Rule 14.2 |
...
MSC11-A. Incorporate diagnostic tests using assertions 13. Miscellaneous (MSC) MSC13-A. Detect and remove unused values