MISRA C:2012 with Amendment 2 rules mapped to Klocwork certified checkers

MISRA.ASM.ENCAPS  Assembly language is not isolated.

MISRA.BUILTIN_NUMERIC  Builtin numeric type is used

SV.RVT.RETVAL_NOTTESTED  Ignored Return Value

MISRA.DEFINE.FUNC  Function-like macro definition

MISRA.INCGUARD  Include guard is not provided

ABV.TAINTED  Buffer Overflow from Unvalidated Input

NNTS.TAINTED  Unvalidated User Input Causing Buffer Overflow - Non-Null Terminated String

SV.TAINTED.ALLOC_SIZE  Use of Unvalidated Integer in Memory Allocation

SV.TAINTED.BINOP  Use of Unvalidated Integer in Binary Operation

SV.TAINTED.CALL.BINOP  Use of Unvalidated Integer in Binary Operation

SV.TAINTED.CALL.DEREF  Dereference Of An Unvalidated Pointer

SV.TAINTED.CALL.INDEX_ACCESS  Use of Unvalidated Integer as Array Index by Function Call

SV.TAINTED.CALL.LOOP_BOUND  Use of Unvalidated Integer in Loop Condition through a Function Call

SV.TAINTED.DEREF  Dereference Of An Unvalidated Pointer

SV.TAINTED.FMTSTR  Use of Unvalidated Data in a Format String

SV.TAINTED.INDEX_ACCESS  Use of Unvalidated Integer as Array Index

SV.TAINTED.INJECTION  Command Injection

SV.TAINTED.LOOP_BOUND  Use of Unvalidated Integer in Loop Condition

SV.TAINTED.PATH_TRAVERSAL  Use of Unvalidated Data in a Path Traversal

SV.TAINTED.SECURITY_DECISION  Security Decision

UNREACH.ENUM  Code is unreachable due to the possible value(s) of an enum

UNREACH.GEN  Unreachable code

UNREACH.RETURN  Unreachable Void Return

EFFECT  Statement has no effect

LV_UNUSED.GEN  Local variable unused

VA_UNUSED.GEN  Value is Never Used after Assignment

VA_UNUSED.INIT  Value is Never Used after Initialization

LA_UNUSED  Label unused

MISRA.FUNC.UNUSEDPAR.2012  Unused parameters in functions

MISRA.TOKEN.BADCOM  Inappropriate character sequence in a comment

MISRA.TOKEN.CPCOM.MULTILINE.2012  Line-splicing used in a // comment

MISRA.TOKEN.UNTERMINATED.ESCAPE.2012  Unterminated escape sequence in a string literal

MISRA.CHAR.TRIGRAPH  Trigraph usage

MISRA.IDENT.DISTINCT.C99.2012  Identifiers declared in the same scope or name space are not distinct

MISRA.VAR.HIDDEN  Identifier declared in an inner scope hides identifier in outer scope

MISRA.DEFINE.NOT_DISTINCT.C99.2012  Identifier name is too long

MISRA.TYPEDEF.NOT_UNIQUE  Typedef name is used for another entity

MISRA.CT.UNIQUE.ID.2012  Identifier clashes with tag name

MISRA.IDENT.NONUNIQUE.EXTERNAL.2012  Identifiers that define objects or functions with external linkage shall be unique.

MISRA.IDENT.NONUNIQUE.INTERNAL.2012  Identifiers that define objects or functions with internal linkage should be unique.

MISRA.BITFIELD.TYPE.2012  Type of bit-field is neither bool, nor signed/unsigned integer

MISRA.BITFIELD.SIGNED  Length of a named signed bit-field is less than 2

MISRA.TOKEN.OCTAL.INT  Usage of octal integer constants

MISRA.LITERAL.UNSIGNED.SUFFIX  Unsigned integer literal without 'U' suffix

MISRA.TOKEN.L.SUFFIX.FLOAT  Usage of lowercase character "l" suffix in floating constant

MISRA.TOKEN.L.SUFFIX.INT  Usage of lowercase character "l" suffix in integer constant

MISRA.STRING_LITERAL.NON_CONST.2012  A string literal shall not be assigned to an object unless the object's type is pointer to const-qualified char

MISRA.FUNC.NO_PARAMS  Function without parameters is missing void parameter type

MISRA.FUNC.PROT_FORM.KR.2012  Function types shall be in prototype form

MISRA.FUNC.UNMATCHED.PARAMS  Number of formal and actual parameters passed to function do not match

MISRA.FUNC.UNNAMED.PARAMS  Function declaration has unnamed parameters

MISRA.FUNC.NOPROT.DEF.2012  Function has a definition but no prototype

MISRA.FUNC.STATIC.REDECL  Function or object redeclaration does not include 'static' modifier

MISRA.DECL.FUNC.INLINE.STATIC.2012  Declaration of inline function without static storage class

MISRA.DECL.ARRAY_SIZE  Declaration of array with unknown size

MISRA.ENUM.IMPLICIT.VAL.NON_UNIQUE.2012  Implicit enumerator value is not unique

MISRA.PPARAM.NEEDS.CONST  Pointer parameter is not used to modify the addressed object but is not declared as a pointer to const

MISRA.TYPE.RESTRICT.QUAL.2012  The restrict type qualifier shall not be used

UNINIT.HEAP.MIGHT  Uninitialized Heap Use - possible

UNINIT.HEAP.MUST  Uninitialized Heap Use

UNINIT.STACK.ARRAY.MIGHT  Uninitialized Array - possible

UNINIT.STACK.ARRAY.MUST  Uninitialized Array

UNINIT.STACK.ARRAY.PARTIAL.MUST  Partially Uninitialized Array

UNINIT.STACK.MIGHT  Uninitialized Variable - possible

UNINIT.STACK.MUST  Uninitialized Variable

MISRA.INIT.BRACES.2012  The initializer for an aggregate or union is not enclosed in braces

MISRA.INIT.PARTIAL.2012  Array is partially initialized

MISRA.INIT.MULTIPLE.2012  An element of an object is initialized more than once

MISRA.INIT.SIZE.IMPLICIT.2012  A designated initializer is used to initialize an array object when the size of the array is not specified explicitly

MISRA.ETYPE.INAPPR.OPERAND.BINOP.2012  Operand(s) to a binary operator have inappropriate essential type

MISRA.ETYPE.INAPPR.OPERAND.INDEXPR.2012  Index expression has inappropriate essential type

MISRA.ETYPE.INAPPR.OPERAND.TERNOP.2012  First operand to a ternary operator has inappropriate essential type

MISRA.ETYPE.INAPPR.OPERAND.UNOP.2012  Operand to a unary operator has inappropriate essential type

MISRA.ETYPE.INAPPR.CHAR.2012  Inappropriate usage of Essentially Character type in an addition or subtraction operation

MISRA.ETYPE.ASSIGN.2012  Assignment to an object of a narrower essential type or a different essential type category

MISRA.ETYPE.CATEGORY.DIFFERENT.2012  The operands of an operator in which the usual arithmetic conversions are performed do not have the same essential type category

MISRA.ETYPE.INAPPR.CAST.2012  The value of an expression is cast to an inappropriate essential type

MISRA.ETYPE.COMP.ASSIGN.2012  The value of a composite expression is assigned to an object with a wider essential type

MISRA.ETYPE.COMP.CAST.IMPL.WIDER.2012  A composite expression used as an operand of an operator in which the usual arithmetic conversions are performed has its other operand having a wider essential type

MISRA.ETYPE.COMP.CAST.EXPL.DIFFERENT.2012  The value of a composite expression is cast to a different essential type category

MISRA.ETYPE.COMP.CAST.EXPL.WIDER.2012  The value of a composite expression is cast to a wider essential type

MISRA.CAST.FUNC_PTR.2012  Conversion performed between a pointer to a function and another incompatible type

MISRA.CAST.INCOMPLETE_PTR_TO_ANY.2012  Conversion performed between a pointer to an incomplete type and a different type

MISRA.CAST.OBJ_PTR_TO_OBJ_PTR.2012  Cast between a pointer to object type and a pointer to a different object type

MISRA.CAST.OBJ_PTR_TO_INT.2012  Conversion performed between a pointer to an object and an integer type

MISRA.CAST.VOID_PTR_TO_OBJ_PTR.2012  Conversion performed from a pointer to void to a pointer to an object

MISRA.CAST.VOID_PTR_TO_INT.2012  Cast between a pointer to void and an arithmetic type

MISRA.CAST.OBJ_PTR_TO_NON_INT.2012  A cast between a pointer to object and a non-integer arithmetic type

MISRA.CAST.CONST  Cast operation removes const or volatile modifier from a pointer or reference

MISRA.LITERAL.NULL.PTR.CONST.2012  The macro NULL is the only permitted form of integer null pointer constant

MISRA.EXPR.PARENS.2012  The precedence of operators within expressions should be made explicit.

MISRA.EXPR.PARENS.SIZEOF.2012  The operand of the sizeof operator should be parenthesized.

MISRA.SHIFT.RANGE.2012  Right operand of shift operation is out of range - greater or equal to the essential type size of left operand, or is negative

MISRA.COMMA  Comma operator is used

MISRA.COMP.WRAPAROUND  Wrap-around in a condition

MISRA.EXPR.SIZEOF.ARRAY_PARAM.2012_AMD1  The sizeof operator has an operand which is a function parameter declared as "array of type"

PORTING.VAR.EFFECTS  Variable used twice in one expression where one usage is subject to side-effects

MISRA.INCR_DECR.SIDEEFF.2012  A full expression containing an increment (++) or decrement (--) operator should have no other potential side effects other than that caused by the increment or decrement operator

MISRA.ASSIGN.SUBEXPR.2012  The result of an assignment operator is used

MISRA.LOGIC.SIDEEFF  Right operand in a logical 'and' or 'or' expression contains side effects

MISRA.SIZEOF.SIDE_EFFECT  Operand of sizeof has side effects

MISRA.FOR.COUNTER.FLT  For loop counter has a floating point type

INVARIANT_CONDITION.GEN  Invariant expression in a condition

INVARIANT_CONDITION.UNREACH  Invariant expression in a condition

MISRA.STMT.COND.NOT_BOOLEAN.2012  The controlling expression of an if statement or loop statement is not 'Essentially Boolean' type

MISRA.GOTO  Goto statement is used

MISRA.GOTO.AFTER_LABEL.2012  Goto jumps to label declared before in same function.

MISRA.GOTO.NESTED.2012  Label referenced by goto is not in this or enclosing block.

MISRA.BREAK_OR_GOTO.MULTIPLE.2012  Iteration statement has more than one break or goto for loop termination.

MISRA.RETURN.NOT_LAST  Return is not the last statement in a function

MISRA.IF.NO_COMPOUND  The body of if/else statement is not a compound statement

MISRA.STMT.NO_COMPOUND  The body of switch, while, do/while or for statement is not a compound statement

MISRA.IF.NO_ELSE  A chain of if/else-if statements is not terminated with else or is terminated with an empty else clause

MISRA.SWITCH.WELL_FORMED.2012  All switch statements shall be well-formed.

MISRA.SWITCH.WELL_FORMED.NESTED_LABEL.2012  A switch label shall only be used when the most closely-enclosing compound statement is the body of the switch statement.

MISRA.SWITCH.WELL_FORMED.BREAK.2012  An unconditional break statement shall terminate every switch-clause.

MISRA.SWITCH.WELL_FORMED.DEFAULT.2012  Every switch statement shall have a default label.

MISRA.SWITCH.WELL_FORMED.DEFAULT.FIRST_OR_LAST.2012  A default label shall appear as either the first or the last switch label of a switch statement.

MISRA.SWITCH.WELL_FORMED.TWO_CLAUSES.2012  Every switch statement shall have at least two switch-clauses.

MISRA.SWITCH.COND.BOOL.2012  A switch-expression shall not have essentially Boolean type.

MISRA.FUNC.VARARG  Function with variable number of arguments

MISRA.FUNC.RECUR  Recursive function

FUNCRET.GEN  Non-void function does not return value

FUNCRET.IMPLICIT  Non-void function implicitly returning int does not return value

MISRA.FUNC.ARRAY.PARAM.STATIC.2012  The declaration of an array parameter shall not contain the static keyword between the []

MISRA.FUNC.UNUSEDRET.2012  The return value of a non-void function shall be used.

MISRA.FUNC.MODIFIEDPAR.2012  A function parameter should not be modified

ABV.GENERAL  Buffer Overflow - Array Index Out of Bounds

MISRA.PTR.ARITH.NOT_SAME.2012  A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand

MISRA.PTR.ARITH.2012  Pointer is used in arithmetic expression

MISRA.PTR.TO_PTR_TO_PTR  Pointer declaration has more than two levels of indirection

LOCRET.ARG  Function returns address of local variable

LOCRET.GLOB  Function returns address of local variable

LOCRET.RET  Function returns address of local variable

MISRA.MEMB.FLEX_ARRAY.2012  Flexible array member shall not be declared

MISRA.ARRAY.VAR_LENGTH.2012  Variable-length array types shall not be used

MISRA.ASSIGN.OVERLAP  Object is assigned to an overlapping object

MISRA.UNION  Union is used

MISRA.INCL.INSIDE  Include directive preceded by a preprocessor output token

MISRA.INCL.SYMS  Non-standard characters in header file names

MISRA.INCL.BAD  Non-standard include directive

MISRA.DEFINE.WRONGNAME.C99.2012  A macro shall not be defined with the same name as a keyword

MISRA.UNDEF  Undef usage

MISRA.EXPANSION.DIRECTIVE  Directive-like tokens within a macro argument

MISRA.ELIF.COND.NOT_BOOL.2012  #elif condition is not 0 or 1

MISRA.IF.COND.NOT_BOOL.2012  #if condition is not 0 or 1

MISRA.ELIF.UNDEF  Undefined macros in #elif directive

MISRA.IF.UNDEF  Undefined macros in #if directive

MISRA.DEFINE.SHARP  # or ## operator in a macro definition

MISRA.DEFINE.SHARP.ORDER.2012  Unspecified order of evaluation of multiple '#' or '##'

MISRA.DEFINE.SHARP.REPLACE.2012  A macro parameter used as an operand to the '#' or '##' operators, which is itself subject to further macro replacement, shall only be used as an operand to these operators

MISRA.USE.UNKNOWNDIR  Unknown preprocessor directive is used

MISRA.ELIF.OTHERFILE  #elif in an improper file

MISRA.ELSE.OTHERFILE  #else in an improper file

MISRA.ENDIF.OTHERFILE  #endif in an improper file

MISRA.DEFINE.WRONGNAME  Usage of a name from the standard library for naming a macro

MISRA.DEFINE.WRONGNAME.UNDERSCORE  Usage of a reserved name for naming a macro

MISRA.UNDEF.WRONGNAME  Undefinition of a name from the standard library

MISRA.UNDEF.WRONGNAME.UNDERSCORE  Undefinition of a reserved name

MISRA.STDLIB.WRONGNAME  Reused name of standard library macro, object or function

MISRA.STDLIB.WRONGNAME.UNDERSCORE  Usage of a reserved name for naming a language entity

MISRA.STDLIB.MEMORY  Use of dynamic heap memory allocation

MISRA.STDLIB.LONGJMP  Use of setjmp macro or longjmp function

MISRA.INCL.SIGNAL.2012  The standard header file signal.h shall not be used

MISRA.STDLIB.SIGNAL  Use of the signal handling facilities of signal.h

MISRA.DEFINE.STDIO.WCHAR.2012  Inappropriate macro expansion

MISRA.INCL.STDIO.2012  The standard header files stdio.h shall not be used

MISRA.STDLIB.STDIO  Use of input/output library stdio.h in production code

MISRA.STDLIB.STDIO.WCHAR.2012  Wide-character equivalent identifiers from stdio.h shall not be used

MISRA.STDLIB.ATOI  Use of 'atof', 'atoi' or 'atol' from library stdlib.h

MISRA.STDLIB.ABORT.2012_AMD1  Use of 'abort', 'exit', or 'system' from library stdlib.h

MISRA.STDLIB.BSEARCH.2012  Use of 'bsearch' or 'qsort' from library stdlib.h

MISRA.DEFINE.WCSFTIME.2012  No macro with 'wcsftime' name shall be expanded

MISRA.INCL.TIME.2012  The standard header file time.h shall not be used

MISRA.STDLIB.TIME  Use of the time handling functions of library time.h

MISRA.STDLIB.WCSFTIME.2012  The identifier 'wcsftime' shall not be used

MISRA.INCL.TGMATH.2012  The standard header file tgmath.h shall not be used

MISRA.STDLIB.FENV.2012  Floating-point exception feature from fenv.h is used

MISRA.STDLIB.FENV.MACRO.2012  Floating-point exception feature from fenv.h is used

MISRA.STDLIB.CTYPE.RANGE.2012_AMD1  Any value passed to a function in ctype.h shall be representable as an unsigned char or be the value EOF

MISRA.STDLIB.INCOMPAT_ARGS.2012_AMD1  The pointer arguments to memcpy, memmove, or memcmp are not pointers to compatible types

ABV.ANY_SIZE_ARRAY  Buffer Overflow - Array Index Out of Bounds

ABV.GENERAL  Buffer Overflow - Array Index Out of Bounds

ABV.MEMBER  Buffer Overflow - Array Index Out of Bounds

ABV.STACK  Buffer Overflow - Local Array Index Out of Bounds

ABV.UNKNOWN_SIZE  Buffer Overflow - Array Index Out of Bounds

NNTS.MIGHT  Buffer Overflow - Non-null Terminated String

NNTS.MUST  Buffer Overflow - Non-null Terminated String

ABV.ANY_SIZE_ARRAY  Buffer Overflow - Array Index Out of Bounds

ABV.GENERAL  Buffer Overflow - Array Index Out of Bounds

ABV.MEMBER  Buffer Overflow - Array Index Out of Bounds

ABV.STACK  Buffer Overflow - Local Array Index Out of Bounds

ABV.UNKNOWN_SIZE  Buffer Overflow - Array Index Out of Bounds

MISRA.STDLIB.ILLEGAL_WRITE.2012_AMD1  The pointers returned by the Standard Library functions localeconv, getenv, setlocale or, strerror shall only be used as if they have pointer to const-qualified type

MISRA.STDLIB.ILLEGAL_REUSE.2012_AMD1  The pointer returned by the Standard Library functions asctime and similar shall not be used following a subsequent call to the same function

MISRA.STDLIB.ABORT.2012_AMD1  Use of 'abort', 'exit', or 'system' from library stdlib.h

FREE.INCONSISTENT  Inconsistent Freeing of Memory

MLK.MIGHT  Memory Leak - possible

MLK.MUST  Memory Leak

MLK.RET.MIGHT  Memory Leak - possible

MLK.RET.MUST  Memory Leak

RH.LEAK  Resource leak

FMM.MIGHT  Freeing Mismatched Memory - possible

FMM.MUST  Freeing Mismatched Memory

FNH.MIGHT  Freeing Non-Heap Memory - possible

FNH.MUST  Freeing Non-Heap Memory

FUM.GEN.MIGHT  Freeing Unallocated Memory - possible

FUM.GEN.MUST  Freeing Unallocated Memory

MISRA.RESOURCES.FILE.READ_ONLY_WRITE.2012  There shall be no attempt to write to a stream which has been opened as read-only

MISRA.FILE_PTR.DEREF.2012  A pointer to a FILE object shall not be dereferenced

MISRA.FILE_PTR.DEREF.CAST.2012  Object is casted to a FILE pointer, and it shall not be dereferenced

MISRA.FILE_PTR.DEREF.INDIRECT.2012  A pointer to a FILE object shall not be indirectly dereferenced by a system function

MISRA.FILE_PTR.DEREF.RETURN.2012  A pointer to a FILE object (returned by function) shall not be dereferenced

MISRA.RESOURCES.FILE.USE_AFTER_CLOSE.2012  The value of a pointer to a FILE shall not be used after the associated stream has been closed

CXX.ERRNO.NOT_SET  Errno is not reset to zero before calling library function

CXX.ERRNO.NOT_CHECKED  Errno condition check is missing after calling library function

CXX.ERRNO.INCORRECTLY_CHECKED  Errno condition check not required after calling library function