Emenda Klocwork MISRA C 2012 Extra Coverage


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 Amenedment 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.EXT.IDENT.DISTINCT.6 (C90)
EMENDA.EXT.IDENT.DISTINCT.31 (C99)
Rule 5.5 Partial
EMENDA.IDENT.MACRO.DISTINCT.31 (C90)
EMENDA.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



Get in touch

Full Name (required)

Work Email (required)

Title

Company

Contact number

Priority
HighResearch

Product
KlocworkUnderstandPerforceLattixSecurity InnovationFlexNet Code InsightSemiosCloneTracker

Platform
CC++C#JavaPythonPerlPHPOther Language

Certificate Standard(s)

Additional information