· @bojkotiMalbona
113 followers · 1251 posts · Server infosec.exchange@tek @r3g_5z Came across an article¹ comparing #MISRA C to #Ada & #SPARK. Apparently MISRA is a coding standard with tools to enforce the rules. 1. http://web.archive.org/web/20220820050939/embeddedcomputing.com/technology/security/mirsa-c-cert-c-other-standards/the-place-for-misra-c-in-safe-secure-programming-a-comparison-with-spark
Last updated 3 years ago
Tsuyoshi Kodama · @tyskdm
24 followers · 104 posts · Server fosstodon.orgadded #MISRA C++:2008 Guidelines to the list of supported documents.
#autosar / misra diff viewer: aview
https://github.com/tyskdm/aview
Last updated 4 years ago