MISRA-C++:20008 + HIS Metrics package has been released
ECLAIR's MISRA-C++:2008 + HIS Metrics package offers one of the most extensive, properly said MISRA-C++:2008 coverage available on the market, by providing support for around 87% of the guidelines.
The checkers for decidable rules are exact (neither false positives nor false negatives). For undecidable rules, ECLAIR's MISRA-C++:2008 + HIS Metrics package provides a medium-weight solution to the tradeoff among computational complexity, number of false positives and number of false negatives. In any case, when false negatives are possible, they are always clearly and unambiguously delimited.
MISRA-C++:2008 is the software development C++ subset developed by MISRA for the motor industry, which is now a de facto standard for safety-, life-, and mission-critical embedded applications in many industries including aerospace, railway, medical, telecommunications and others.