Emenda have developed a package of checkers that provide additional coverage to the existing Klocwork MISRA C 2012 guidelines. Currently based on the latest Klocwork release (v2018.0), the package provides coverage for 11 additional MISRA C 2012 rules and 3 additional MISRA C 2012 Amendment 1 rules.
The package introduces the all new Emenda Architectural Analysis (EAA). This process makes use of the Klocwork kwdefectimport tool to identify and raise Klocwork issues outside of the scope of the standard Klocwork checker APIs. The EAA process provides analysis for server side only.
Included in the package are Klocwork taxonomies with the extra checkers included (C90, C99, with and without Amendment 1).
Full details of the checkers and coverage can be found in the package documentation.
Rule | Full/ Partial | Checker(s) |
Rule 2.3 | Full |
EMENDA.UNUSED.TYPE.LOCAL EMENDA.EAA.UNUSED.TYPE.GLOBAL |
Rule 2.4 | Full |
EMENDA.TYPE.RDNT.TAG EMENDA.EAA.UNUSED.TYPE.GLOBAL |
Rule 2.5 | Full |
EMENDA.EAA.UNUSED.MACRO |
Rule 5.1 | Full |
EMENDA.EAA.EXT.IDENT.DISTINCT.6 (C90) EMENDA.EAA.EXT.IDENT.DISTINCT.31 (C99) |
Rule 5.5 | Partial |
EMENDA.EAA.IDENT.MACRO.DISTINCT.31 (C90) EMENDA.EAA.IDENT.MACRO.DISTINCT.63 (C99) |
Rule 8.3 | Partial |
EMENDA.DECL.NAME.QUAL |
Rule 8.7 | Full |
EMENDA.EAA.TU.EXTERN.UNIQUE |
Rule 8.9 | Full |
EMENDA.EAA.OBJ.BLK.SCOPE |
Rule 13.1 | Full |
EMENDA.INIT.LIST.SIDE.EFF (C99) |
Rule 14.2 | Full |
EMENDA.LOOP.* |
Rule 17.5 | Full |
EMENDA.ARRAY.ARG.SIZE EMENDA.ARRAY.ARG.SIZE.MIGHT |
Rule 21.13 (Amd 1) | Full |
EMENDA.CTYPE.ARG.VAL |
Rule 21.16 (Amd 1) | Full |
EMENDA.MEMCMP.PTR.ARG |
Rule 21.19 (Amd 1) | Full |
EMENDA.STDLIB.PTR.RTN EMENDA.STDLIB.PTR.RTN.LOCAL |