MISRA-C Tools.
This is a list of the tools that claim to support MISRA-C version 1 and/or version 2. There is no implied or express recommendation of any of these tools. Neither have I, or anyone else as far as I know, independently certified these tools for MISRA-C compliance. However I believe all these tools listed here have implemented in good faith. Please note that this is my own list and it has NOTHING WHATSOEVER TO DO WITH MIRA OR MISRA. There is no implied or express approval, certification or acknowledgment of any tools by MISRA/MIRA, the MISRA-C Steering Committee (or any other official body) as regards the correctness of their support for MISRA-C (either the 1998 or 2004 versions)
	Static Analysers with MISRA-C checking					Consultants and SW Engineers with MISRA-C experience
Compilers with MISRA C headers or checking		MISRA-C Training					MISRA Analysis tools
Static Analysers
Company	Tool	Notes				MISRA-C1	MISRA-C2
Programming Research Member of MISRA-C working Group	QA-C	Full featured Deep Flow Static Analyser				YES	Yes
LDRA Member of MISRA-C working Group	Testbed	Static and dynamic analysis				YES	Yes
Gimpel Represented on MISRA-C working Group by Chris Hills (PhaedruS SystemS Ltd UK)	PC-Lint	Original C static analyser. Very fast and inexpensive				YES	YES
Ristan-CASE Represented on MISRA-C working Group by Chris Hills (PhaedruS SystemS Ltd UK)	DAC	Reverse Engineering, documentation and code analysis				YES	SOON
Compilers	Name/Target					MISRA-C1	MISRA-C2
IAR www.iar.com available from PhaedruS SystemS Ltd	All targets					YES (rule checking)
Keil www.keil.com available from PhaedruS SystemS Ltd	C-ARM					YES (System Headers)	Soon (System Headers)
Keil www.keil.com available from PhaedruS SystemS Ltd	C 166/7					YES (System Headers)	Soon (System Headers)
TASKING www.tasking.com/tricore available from PhaedruS SystemS Ltd	Tricore					YES (rule checking)
TASKING www.tasking.com/c166-st1 available from PhaedruS SystemS Ltd	C166/ST10					YES (rule checking)
TASKING www.tasking.com/8051 available from PhaedruS SystemS Ltd	8051					YES (rule checking)
TASKING www.tasking.com/xa available from PhaedruS SystemS Ltd	XA					YES (rule checking)
TASKING www.tasking.com/m16c available from PhaedruS SystemS Ltd	M16C					YES (rule checking)
MISRA-C Training
Feabhas www.feabhas.com	MISRA-C courses	Purely embedded and realtime training, also UML courses. This is not an "IT" outfit but a SW Engineering company
Consultants						MISRA-C1	MISRA-C2
Metriqa www.metriqa.com	Member of ISO hi-integrity study group.					YES	YES
Keylevel www.keylevel.com	Member of MISRA-C and C++ working groups.					YES	YES
Phaedrus Systems	Member of MISRA-C 2 working group.					YES	YES
MISRA Analysis tools	Tool	Features				MISRA-C1	MISRA-C2
Cosmic available from PhaedruS SystemS Ltd		MISRA-C analyser for Cosmic compilers				YES
Last updated 1011 April 2006 and still under construction! Copyright Chris A Hills 1997-2006 www.phaedsys.org The right of Chris A Hills to be identified as the author of this work has been asserted by him in accordance with the Copyright, Designs and Patents Act 1988