Thread: Open-Source Misra-C:2004 rule chcker

  1. #1
    Registered User
    Join Date
    Dec 2016
    Posts
    4

    Exclamation Open-Source Misra-C:2004 rule chcker

    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.

  2. #2
    Its hard... But im here swgh's Avatar
    Join Date
    Apr 2005
    Location
    England
    Posts
    1,688
    Yet more spam....
    Double Helix STL

  3. #3
    Registered User
    Join Date
    Dec 2016
    Posts
    4
    why do you consider it spam, if i may ask?

  4. #4
    and the hat of int overfl Salem's Avatar
    Join Date
    Aug 2001
    Location
    The edge of the known universe
    Posts
    38,657
    I thought it seemed quite interesting.
    At least the link points to something technically relevant.
    If you dance barefoot on the broken glass of undefined behaviour, you've got to expect the occasional cut.
    If at first you don't succeed, try writing your phone number on the exam paper.

  5. #5
    (?<!re)tired Mario F.'s Avatar
    Join Date
    May 2006
    Location
    Ireland
    Posts
    8,446
    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?
    Last edited by Mario F.; 12-09-2016 at 05:39 AM.
    Originally Posted by brewbuck:
    Reimplementing a large system in another language to get a 25% performance boost is nonsense. It would be cheaper to just get a computer which is 25% faster.

  6. #6
    Registered User
    Join Date
    Dec 2016
    Posts
    4
    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.

Popular pages Recent additions subscribe to a feed

Similar Threads

  1. MISRA Rule 10.1 (blackfin 561 code)
    By mshearer123 in forum C Programming
    Replies: 3
    Last Post: 03-01-2010, 10:57 AM
  2. MISRA rule 54
    By mshearer123 in forum C Programming
    Replies: 8
    Last Post: 02-22-2010, 02:21 AM
  3. MISRA C Checker open source
    By huwan in forum Tech Board
    Replies: 8
    Last Post: 10-27-2009, 08:13 AM
  4. Open Source / Semi Open source game idea. Help needed
    By CaptainPatent in forum Projects and Job Recruitment
    Replies: 10
    Last Post: 05-16-2007, 10:44 AM
  5. Misra Rule 11.2
    By hammer1234 in forum C Programming
    Replies: 1
    Last Post: 04-06-2006, 07:28 AM

Tags for this Thread