MISRA C est une norme de programmation en langage C créée en 1998 par la Motor Industry Software Reliability Association (en) (MISRA). Elle spécifie les règles de programmation pour plus de sûreté. L’objectif est d’éviter des erreurs d’exécution provoquées par une construction de C incertaine, des faiblesses de structure du fait de malentendus entre les programmeurs, et de garantir la validité des expressions. La plupart de ces règles peuvent être automatiquement vérifiées ou prises en considération lors de la génération du code. La troisième et dernière version, sortie le 18 mars 2013, est nommée MISRA C:2012. Elle intègre les nouveautés du C99 (ISO 9899:1999). (wikipedia)

Parasoft annonce que son environnement de test intégré Parasoft C/C++test supporte désormais MISRA C 2012  à 100%, en compagnie d'autres bonnes pratiques de programmation telles que FDA, Scott Meyers’ Effective C++, Effective STL, etc.

Parasoft C++test effectue des analyses de code et génère des rapports d'erreurs directement dans l'EDI du programmeur, lorsque le code écrit dévie des standards prescrits par la politique de programmation définie au sein de l'outil.

Plus d'information : https://www.parasoft.com/product/cpptest/