Open-Source Misra-C:2004 rule chcker

[bloodstalker]

Hello all,
I'm implementing a Misra-C:2004 rule-checker using the clang frontend in C++. The work is not finished yet, but very much buildable and usable at any stage of developement(obviously not extensively tested). A more complete list of what has been implemented and what not is available on the project's Github repo. The project also features automatic implementation of Misra-C rules where possible. some automatic refactoring features are implemented. The third phase of the project will be source code instrumentation.
Here's the link to the Github repo for the project:
GitHub - bloodstalker/mutator
Right now the project supports simple text and XML outputs. I'm planning on adding JSON support in the future.
So, this is more like an announcement and also if anyone has any tips or suggestions, ideas, reviews, well any sort of feedback, I'd appreciate it.

[swgh]

Yet more spam....

[bloodstalker]

why do you consider it spam, if i may ask?

[Salem]

I thought it seemed quite interesting.
At least the link points to something technically relevant.

[Mario F.]

Why the 2004 release and not the 2012 one?

On some of the oil extraction systems I've seen lately, they have moved to MISRA C:2012. There's a few subsystems that will never leave 2004, granted. But they are legacy systems. Besides 2012 is fully compatible with 2004. Wouldn't you have a more robust and useful checker if you supported at least 2012?

[bloodstalker]

You are correct on all counts. Adding Misra-C:2012 support will be coming in the future but since right now I don't have the document or any means of getting it, I'm not doing any announcements on it, but as soon as I get my hands on the doc, that will be implemeneted as well.
Actually thank you. I'll add that to the list of features that will be implemeneted in the readme. I guess I should start looking for some organization that is willing to donate the doc.