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 »
This minor update resolves some issues with connecting and publishing information from Klocwork servers using SSL and also resolves an issue with the publish steps query box when using pluses in the query.
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 »
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 »