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.