Useful links

The following list of sites which may be of interest to visitors to the MISRA site is provided without any endorsement or recommendation by MISRA. All links open in a new window.

Tools supporting MISRA C and MISRA C++

The following list of links to vendors selling tools which support MISRA C and/or MISRA C++ is provided for information only. No endorsement of these tools by MISRA is implied. MISRA has not verified the tools' implementation of MISRA C or MISRA C++. It is the user's own responsibility to satisfy themselves that these tools are suitable for the intended purpose.

Axivion
BUGSENG
Cosmic Software
Cppcheck
Esterel Technologies
Gimpel Software
GrammaTech
Green Hills Software
Helix QAC (formerly from Programming Research Ltd)
Hitex UK (embedded tools reseller)
IAR Systems
Klocwork
LDRA Ltd
Metrowerks
Oakwood Computing
Parasoft
Phaedrus Systems Ltd (embedded tools reseller)
Polyspace
RistanCASE
Scientific Toolworks Inc
SonarSource
Soft4Soft
Sparrow
Suresoft Technologies Inc
TASKING Software Tools
Telelogic