Rule 1.3 - What do people do to check this rule?

[Andrew Banks]

How would you go about checking Rule 1.3? Surely there's no way of avoiding an extensive manual review (involving a heavily marked-up printout of Annex J of the standard, cross-referenced with Appendix H of the guidelines) whatever tools are used.

My personal approach is, in accordance with the Compliance guidance, to base coverage on the tool I'm using... this doesn't necessarily require manual checks, unless the tool's coverage is incomplete.

There is a MISRA C Working Group meeting coming up at the end of September, and I would anticipate the team will put together an "official" response :-)