Author: admin


Klocwork C# Additional Checkers


Additional Klocwork C# (C-sharp) Checkers, developed by Emenda. These checkers to add to the standard Klocwork out of the box rules, and have been found useful by other users. The checkers are delivered as one single Klocwork checker package but rules can be turned on individually. EMENDA.CS.IDISP.DESTRUCT Provide a destructor (finalizer) when you implement IDisposable EMENDA.CS.NOT.SERIALIZED… Read more »



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 »