Correcting MISRA C-language Code violations

[miles24]

is there anyone who is able to correct c-code MISRA violations in source code - either manually or via some tool?

[weaknessforcats]

http://www.ldra.com/en/software-qual...dard/misra-c-c

[miles24]

I have been using LDRA to identify the MISRA violations. Now I am looking for a tool to actually fix them so i get zero violations. I dont know if something like that exists or if there is someone who could correct them faster than I can. Thanks

[donbock]

It is not my nature to trust tools that modify my source code. My inclination would be to resolve the problems manually. Besides, some of the MISRA rules are more applicable to design than to coding.

You don't necessarily need to make all of the LDRA warnings go away. Part of MISRA compliance is a tailoring document that precisely describes the extent to which your code complies with the MISRA standard.

[miles24]

I am probably going to have to take exception to some of the violations

[miles24]

Auto-changes to the code would be risky and would amount to design changes.

[donbock]

I'm not familiar with LDRA. Can you tailor it so that it doesn't complain about MISRA-C violations that you have decided to allow?

[miles24]

Yes we have a way to exclude some sections of code from the LDRA analysis - these are areas that are intrinsic to the design and if modified could introduce subtle errors. The code has already been through some lab test. The rules applied are a mix of MISRA standards and other coding standards.