MISRA Technology

The Motor Industry Software Reliability Association (MISRA), publish guidelines for the use of the C programming language in automotive applications. The latest guidelines, known as Misra-2012, are compatible with ISO C 99, and are relevant for anyone developing applications where programming mistakes must be corrected before deployment.

This requires static analysis rather than run-time checks.

You will find MISRA at “http://www.misra.org.uk/”.

The new XGC C analyser makes all the necessary source code checks and reports any failures with error messages.

For example:

$ xc11 t1.c -m
t1.c:4:1: MISRA-C:2012 Error 17.4: All exit paths from a function with non-void return type shall have an explicit return statement with an expression
1 error, 0 warnings, 0 comments


The following table specifies the level of support provided by xc11 for each Misra rule.

Table to be supplied.