MISRA C Checker open source
I am working on a project to create a MISRA C code checker to verify if the code/program is compliant to the MISRA C 2004 rules.
Can someone let me know what are the similar code checkers/tools that are currently available in the market ?
Also, where could I get the source code of these code checkers?
I have no idea on how these code checkers are being developed, so I would like to have a sample of source code of the checker.
Hope to hear from you guys soon.
MISRA is a Management tool
Someone explained MISRA C as a great way for managers to be able to verify the validity of code, not just the syntax.
By flicking a switch, if the compiler is setup to check for MISRA C, it will generate those errors.
The issue comes down to the need to use a compiler setup for MISRA C. Not only that, but you are bound by a 3rd party's interpretation of these rules, which may be too strict or not strict enough for your company. This starts to get really complicated if different compilers are used in your company. Example someone is compiling under VisualDSP++ (embedded systems compiler) and somone else is compiling under MULTI (Green Hills Integrity compiler, Integrity has been DO-178B certified). Which compiler is giving you the best results?
A stand alone tool gives you the ability to bring developed code to an even playing ground. A home grown tool gives you the added flexibility that this tool is tailored to your specifications.
Hope this helps your cause.