MISRA C definitely makes many improvements in this area. However, writing decent Ada code is so much easier than writing C code that conforms to MISRA ( or JSF

MISRA C definitely makes many improvements in this area. However, writing decent Ada code is so much easier than writing C code that conforms to MISRA ( or JSF ) standards. There's a pretty good comparison here: https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Deve...