Klocwork MISRA C 2012 Additional Checkers


Additional Klocwork MISRA C 2012 checkers, developed by Emenda, to increase Klocwork coverage of the MISRA C 2012 standard.

Version specific taxonomies can be provided upon request.

Rule C90/C99 Full/ Partial Checker(s)
Rule 13.1 C99 Full
EMENDA.INIT.LIST.SIDE.EFF
Rule 13.3 C90,C99 Full
EMENDA.EXPR.SIDE.EFF
Rule 17.5* C90,C99 Full
EMENDA.ARRAY.ARG.SIZE

EMENDA.ARRAY.ARG.SIZE.MIGHT
Rule 17.6 C99 Full
EMENDA.ARRAY.STATIC.INDEX
Rule 17.8** C90,C99 Partial
EMENDA.PARAM.MODIFIED

EMENDA.PARAM.MODIFIED.MIGHT
Rule 18.4 C90,C99 Full
EMENDA.PTR.BAD.OP

* For undetermined pointer sizes a “MIGHT” warning is reported

** Limited, reports assignments/increments/decrements in current function. Reports warnings when passed as modifiable to sub call



Get in touch about our resources

Name (required)

Email (required)

Company

Department / Business Unit

Resource