Klocwork MISRA C 2012 Amendment 1 Additional Checkers


Additional Klocwork MISRA C 2012 Amendment 1 checkers, developed by Emenda, to increase Klocwork coverage of MISRA C 2012 Amendment 1.

Version specific taxonomies can be provided upon request.

Rule Category C90/C99 Checker(s)
Rule 12.5 Mandatory C90,C99
EMENDA.SIZEOF.OP.PARAM.ARRAY
Rule 21.13 Mandatory C90,C99
EMENDA.CTYPE.ARG.VAL
Rule 21.15 Required C90,C99
EMENDA.STDLIB.MEM.PTR.ARG
Rule 21.16 Required C90,C99
EMENDA.MEMCMP.PTR.ARG
Rule 21.19 Mandatory C90,C99
EMENDA.STDLIB.PTR.RTN.LCL
 
EMENDA.STDLIB.PTR.RTN



Get in touch about our resources

Name (required)

Email (required)

Company

Department / Business Unit

Resource