On May 9th 2012 TERA-Labs (a research division of the Karel de Grote UniversityCollege, Antwerp, Belgium) published the final version of their research report, “A Comparative Study of MISRA-C compliancy Checking Tools” [Ref 1].
This white paper comprises of two sections:
Section 1 provides an overview of the full, detailed 80-page TERA-Labs research. This summary - which has been generated by PRQA - comprises direct extracts of key content from the TERA-Labs report, and the authors of the original TERA-Labs research have confirmed that this is a fair and accurate summary of the original report.
Section 2 contains some of PRQA’s own observations and comments relating to the TERA-Labs report.