Month: August 2016


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… Read more »



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… Read more »