4 ms·
With the creation of the MISRA C standards for JSF these memory safety issues have largely been accounted for in the MISRA standards review process.
by dapids 7y ago
With the creation of the MISRA C standards for JSF these memory safety issues have largely been accounted for in the MISRA standards review process.
- ajxs 7y agoMISRA 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...
- zozbot234 7y ago> ... C .... > ... these memory safety issues have largely been accounted for ... Hahaha. Hahahahahaha.
- dapids 7y agoInstead of laughing like a child maybe provide a defendable argument? Once again largely, C is a language not the compiler providing its implementation.
- fao_ 7y agoYep. UB means that your program could crash, but it also means it's valid for the compiler to print out a warning and do the right thing, or error, or anything.