MISRA C is an effort to tame the wild beast of the C programming language. I get the impression it's not a bad ruleset, but there's plenty it doesn't protect you from. MISRA C doesn't give solid assurances of the absence of undefined behaviour, for instance. [0]
If you're in the business of developing ultra-low-defect software, and you aren't committed to C, SPARK Ada is another option.
If you're in the business of developing ultra-low-defect software, and you aren't committed to C, SPARK Ada is another option.
[0] https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Deve...