MISRA C 2012 Checklist
MISRA, the Motor Industry Software Reliability Association, provides world-leading best practice guidelines for the safe application of both embedded control systems and standalone software. The association is a collaboration between manufacturers, component suppliers and engineering consultancies which seeks to promote best practices in developing safety-related embedded electronic systems and other software-intensive applications.
The MISRA C 2012 checklist provides guided checklist review of the directives and rules in the current version of the standard (MISRA C:2012). This review is complete, and is fully automated with the following exceptions. The ⚯ symbol indicates rules that have no automated steps but ask users to attach documentation. Compliance with rules identified by the ☑ symbol is not fully decidable so the corresponding checks include a user review step to eliminate potential false positives.
Software being reviewed with this checklist should be loaded into Imagix 4D with the -nosys option disabled and the -nosysbodies option enabled.
"MISRA", "MISRA C" and the triangle logo are registered trademarks owned by HORIBA MIRA Ltd, held on behalf of the MISRA Consortium.
MISRA C Directives
| Dir.1.1 ⚯ | Dir.2.1 ⚯ |
| Dir.3.1 ⚯ | Dir.4.1 ☑ |
| Dir.4.2 ⚯ | Dir.4.3 |
| Dir.4.4 ☑ | Dir.4.5 ☑ |
| Dir.4.6 | Dir.4.7 ☑ |
| Dir.4.8 | Dir.4.9 ☑ |
| Dir.4.10 | Dir.4.11 ☑ |
| Dir.4.12 ☑ | Dir.4.13 ☑ |
| Dir.1.1 ⚯ | Dir.4.2 ⚯ | Dir.4.6 | Dir.4.10 | |
| Dir.2.1 ⚯ | Dir.4.3 | Dir.4.7 ☑ | Dir.4.11 ☑ | |
| Dir.3.1 ⚯ | Dir.4.4 ☑ | Dir.4.8 | Dir.4.12 ☑ | |
| Dir.4.1 ☑ | Dir.4.5 ☑ | Dir.4.9 ☑ | Dir.4.13 ☑ | |
MISRA C Rules
| Rule.1.1 ⚯ | Rule.1.2 ☑ |
| Rule.1.3 ☑ | Rule.2.1 ☑ |
| Rule.2.2 ☑ | Rule.2.3 |
| Rule.2.4 | Rule.2.5 |
| Rule.2.6 | Rule.2.7 |
| Rule.3.1 | Rule.3.2 |
| Rule.4.1 | Rule.4.2 |
| Rule.5.1 | Rule.5.2 |
| Rule.5.3 | Rule.5.4 |
| Rule.5.5 | Rule.5.6 |
| Rule.5.7 | Rule.5.8 |
| Rule.5.9 | Rule.6.1 |
| Rule.6.2 | Rule.7.1 |
| Rule.7.2 | Rule.7.3 |
| Rule.7.4 | Rule.8.1 |
| Rule.8.2 | Rule.8.3 |
| Rule.8.4 | Rule.8.5 |
| Rule.8.6 | Rule.8.7 |
| Rule.8.8 | Rule.8.9 |
| Rule.8.10 | Rule.8.11 |
| Rule.8.12 | Rule.8.13 ☑ |
| Rule.8.14 | Rule.9.1 ☑ |
| Rule.9.2 | Rule.9.3 |
| Rule.9.4 | Rule.9.5 |
| Rule.10.1 | Rule.10.2 |
| Rule.10.3 | Rule.10.4 |
| Rule.10.5 | Rule.10.6 |
| Rule.10.7 | Rule.10.8 |
| Rule.11.1 | Rule.11.2 |
| Rule.11.3 | Rule.11.4 |
| Rule.11.5 | Rule.11.6 |
| Rule.11.7 | Rule.11.8 |
| Rule.11.9 | Rule.12.1 |
| Rule.12.2 ☑ | Rule.12.3 |
| Rule.12.4 | Rule.13.1 ☑ |
| Rule.13.2 ☑ | Rule.13.3 |
| Rule.13.4 | Rule.13.5 ☑ |
| Rule.13.6 | Rule.14.1 ☑ |
| Rule.14.2 ☑ | Rule.14.3 ☑ |
| Rule.14.4 | Rule.15.1 |
| Rule.15.2 | Rule.15.3 |
| Rule.15.4 | Rule.15.5 |
| Rule.15.6 | Rule.15.7 |
| Rule.16.1 | Rule.16.2 |
| Rule.16.3 | Rule.16.4 |
| Rule.16.5 | Rule.16.6 |
| Rule.16.7 | Rule.17.1 |
| Rule.17.2 ☑ | Rule.17.3 |
| Rule.17.4 | Rule.17.5 ☑ |
| Rule.17.6 | Rule.17.7 |
| Rule.17.8 ☑ | Rule.18.1 ☑ |
| Rule.18.2 ☑ | Rule.18.3 ☑ |
| Rule.18.4 | Rule.18.5 |
| Rule.18.6 ☑ | Rule.18.7 |
| Rule.18.8 | Rule.19.1 ☑ |
| Rule.19.2 | Rule.20.1 |
| Rule.20.2 | Rule.20.3 |
| Rule.20.4 | Rule.20.5 |
| Rule.20.6 | Rule.20.7 |
| Rule.20.8 | Rule.20.9 |
| Rule.20.10 | Rule.20.11 |
| Rule.20.12 | Rule.20.13 |
| Rule.20.14 | Rule.21.1 |
| Rule.21.2 | Rule.21.3 |
| Rule.21.4 | Rule.21.5 |
| Rule.21.6 | Rule.21.7 |
| Rule.21.8 | Rule.21.9 |
| Rule.21.10 | Rule.21.11 |
| Rule.21.12 | Rule.22.1 ☑ |
| Rule.22.2 ☑ | Rule.22.3 ☑ |
| Rule.22.4 ☑ | Rule.22.5 ☑ |
| Rule.22.6 ☑ | |
| Rule.1.1 ⚯ | Rule.8.1 | Rule.11.3 | Rule.16.2 | Rule.20.6 |
| Rule.1.2 ☑ | Rule.8.2 | Rule.11.4 | Rule.16.3 | Rule.20.7 |
| Rule.1.3 ☑ | Rule.8.3 | Rule.11.5 | Rule.16.4 | Rule.20.8 |
| Rule.2.1 ☑ | Rule.8.4 | Rule.11.6 | Rule.16.5 | Rule.20.9 |
| Rule.2.2 ☑ | Rule.8.5 | Rule.11.7 | Rule.16.6 | Rule.20.10 |
| Rule.2.3 | Rule.8.6 | Rule.11.8 | Rule.16.7 | Rule.20.11 |
| Rule.2.4 | Rule.8.7 | Rule.11.9 | Rule.17.1 | Rule.20.12 |
| Rule.2.5 | Rule.8.8 | Rule.12.1 | Rule.17.2 ☑ | Rule.20.13 |
| Rule.2.6 | Rule.8.9 | Rule.12.2 ☑ | Rule.17.3 | Rule.20.14 |
| Rule.2.7 | Rule.8.10 | Rule.12.3 | Rule.17.4 | Rule.21.1 |
| Rule.3.1 | Rule.8.11 | Rule.12.4 | Rule.17.5 ☑ | Rule.21.2 |
| Rule.3.2 | Rule.8.12 | Rule.13.1 ☑ | Rule.17.6 | Rule.21.3 |
| Rule.4.1 | Rule.8.13 ☑ | Rule.13.2 ☑ | Rule.17.7 | Rule.21.4 |
| Rule.4.2 | Rule.8.14 | Rule.13.3 | Rule.17.8 ☑ | Rule.21.5 |
| Rule.5.1 | Rule.9.1 ☑ | Rule.13.4 | Rule.18.1 ☑ | Rule.21.6 |
| Rule.5.2 | Rule.9.2 | Rule.13.5 ☑ | Rule.18.2 ☑ | Rule.21.7 |
| Rule.5.3 | Rule.9.3 | Rule.13.6 | Rule.18.3 ☑ | Rule.21.8 |
| Rule.5.4 | Rule.9.4 | Rule.14.1 ☑ | Rule.18.4 | Rule.21.9 |
| Rule.5.5 | Rule.9.5 | Rule.14.2 ☑ | Rule.18.5 | Rule.21.10 |
| Rule.5.6 | Rule.10.1 | Rule.14.3 ☑ | Rule.18.6 ☑ | Rule.21.11 |
| Rule.5.7 | Rule.10.2 | Rule.14.4 | Rule.18.7 | Rule.21.12 |
| Rule.5.8 | Rule.10.3 | Rule.15.1 | Rule.18.8 | Rule.22.1 ☑ |
| Rule.5.9 | Rule.10.4 | Rule.15.2 | Rule.19.1 ☑ | Rule.22.2 ☑ |
| Rule.6.1 | Rule.10.5 | Rule.15.3 | Rule.19.2 | Rule.22.3 ☑ |
| Rule.6.2 | Rule.10.6 | Rule.15.4 | Rule.20.1 | Rule.22.4 ☑ |
| Rule.7.1 | Rule.10.7 | Rule.15.5 | Rule.20.2 | Rule.22.5 ☑ |
| Rule.7.2 | Rule.10.8 | Rule.15.6 | Rule.20.3 | Rule.22.6 ☑ |
| Rule.7.3 | Rule.11.1 | Rule.15.7 | Rule.20.4 | |
| Rule.7.4 | Rule.11.2 | Rule.16.1 | Rule.20.5 | |
|
