@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
added #MISRA C++:2008 Guidelines to the list of supported documents.
#autosar / misra diff viewer: aview
https://github.com/tyskdm/aview