PC-lint can be used for quality assurance of C source code and checking the code for conformance to coding guidelines such as MISRA C or MISRA C++.
QA·C can be used for quality assurance of C source code and checking the code for conformance to coding guidelines such as MISRA C.
MISRA C | Neelesh Misra | Misra | Gopal Shankar Misra |
Thanks to the collaboration with the Tool & Methodologies team of Magneti Marelli Powertrain & Electronics, the automotive kernel (BCC1, BCC2, ECC1, ECC2, multicore, memory protection and kernel fixed priority with Diab 5.5.1 compiler) is MISRA C 2004 compliant using FlexeLint 9.00h under the configuration suggested by Magneti Marelli.