<Li> LDRA Testbed by Liverpool Data Research Associates </Li> <Li> mutator by Farzad Sadeghi . </Li> <Li> Parasoft C / C + + test by Parasoft </Li> <Li> PC - Lint by Gimpel Software . MISRA C: 1998, C: 2004, C: 2012, C++: 2008 . </Li>

Misra guidelines for the use of the c language in