Press Release

PRQA announces support for MISRA C:2012


Updated compliance module for QA·C available on day the new standard is launched

HERSHAM, UK and NÜRNBERG, GERMANY, 26th February 2013 / — PRQA | Programming Research, a global leader in static analysis, announces that its tools offer support for MISRA C:2012 (MISRA C3), with an updated compliance module for QA·C Version 8.1, in anticipation of the new version of the coding standard which will be published on 18 March. The new standard contains a number of improvements over previous versions and extends support to the C99 version of the C language (ISO/IEC 9899:1999).

“This latest version of MISRA C provides a new benchmark for effective and safe use of the C Language,” said Paul Burden, co-author of the MISRA C Guidelines and PRQA’s representative on the MISRA C working group for the past 13 years. “With support for C99, a range of improvements and detailed explanation of the rationale behind individual rules, MISRA C3 is an indispensable resource for anyone who cares about software quality and is developing systems in C.”

MISRA C:2012 includes support for C99, a version of the C language that was not widely implemented when MISRA C:2004 (MISRA C2) was published, while maintaining guidelines for C90. Other developments include some additional rules, and a wide range of improvements designed to make it easier for users to understand and use the guidelines. These are based on the wide experience gained from users of MISRA C2 around the world, and include:

  • Elimination of areas of ambiguity to ensure consistent interpretation of the rules.
  • Classification of rules as either “mandatory”, “required” or “advisory”.
  • A more explicit recognition of “decidability”, the extent to which enforcement of a rule can be guaranteed.
  • Improved rule definition providing a closer focus on dangerous constructs while avoiding unnecessary and irksome restrictions.
  • Expanded examples and more extensive explanation of the rationale behind particular rules.
  • Better explanation of why a user might want to deviate from (not comply with) a particular rule.

MISRA C is the most widely used set of coding guidelines for development in the C language. Although originally developed for automotive applications it is now broadly adopted across many different industry sectors. Members of the working group responsible for MISRA C:2012 have experience across a wide range of application domains including automotive but also aerospace, defence, medical and process control.

“A recent study by TERA-Labs*, part of the Karel de Grote University College, Antwerp, showed that QA·C was the best code analysis tool for enforcing MISRA C2 compliance.” said Fergus Bolger, CTO of PRQA. “We have continued to build on this lead to produce an even better compliance module for MISRA C:2012.”

The QA·C Version 8.1 compliance module is available now on. Further details are available at www.programmingresearch.com.

Further reading material on MISRA C:2012 is available at www.programmingresearch.com/mc3.

*A summary of the TERA-Labs review of MISRA C code analysis tools is available at http://www.programmingresearch.com/resources/white-papers

 
Media Contacts

PRQA | PROGRAMMING RESEARCH
Fran Buchmann
Email: fran_buchmann@programmingresearch.com
Tel: +44 1932 888 080

Napier Partnership Limited
Suzy Kenyon, PR Agent for Programming Research
Email: suzy@napier.co.uk
Tel: +44 1243 531 123