[cfe-dev] Open-Source Misra-C:2004 rule chcker

Farzad Sadeghi via cfe-dev cfe-dev at lists.llvm.org
Sun Dec 4 06:36:45 PST 2016


First, I do apologize if this is not the right place for this.
I have a little announcement of sorts.
For the past couple of months, I've been working on an open-source
Misra-C:2004 rule checker that I've been implementing using the clang
LibTooling libraries(standalone, not a clang plugin). The rule-checker
is half-way through done now, so I thought it might be a good idea to
let people know.
For a list of what has been implemented and what has not been
implemented, you could look at the ods file under docs.
The current incarnation of the tool only checks for the Misra-C:2004
rules, but the later incarnations will also support some automatic
corrections(very few have been implemented as of yet) and also
source-code instrumentation(again, currently very few things
implemented.). For a more detailed description, you could read the
repo README file.
Yes, that's why I've been asking so many n00b questions. So thank you
to everyone who took the time to answer or even read them. I'll be
asking quite some more in the future.
Here's the repo link:
https://github.com/bloodstalker/mutator

Thank you for your time.
-- 
Farzad Sadeghi



More information about the cfe-dev mailing list