MISRA C checking provided by PC-lint/FlexeLint

"MISRA, The Motor Industry Software Reliability Association, is a collaboration between vehicle manufacturers, component suppliers and engineering consultancies which seeks to promote best practice in developing safety-related electronic systems in road vehicles."

To activate MISRA C (1998) checking use the file au-misra1.lnt found at Lint 9.00 Patches
For a nicely commented table detailing our MISRA 1998 checking see MISRA C 1998

For MISRA C (2004) checking use the file au-misra2.lnt found at Lint 9.00 Patches
For a nicely commented table detailing our MISRA 2004 checking see MISRA C 2004

For MISRA C++ (2008) checking use the file au-misra-cpp.lnt found at Lint 9.00 Patches   Our table of MISRA C++ checking is still being verified - if you cannot wait for its release, please send an email to sales at gimpel.com and ask for the current draft of the MISRA C++ checking table.

The au-misra*.lnt configuration files are well commented, and will show you which messages are generated for each of the MISRA rules that are supported.

"MISRA" and "MISRA C" and "MISRA C++" are registered trademarks of MIRA Ltd, held on behalf of the MISRA Consortium.