MISRA C++:2008 rules mapped to Klocwork certified checkers

MISRA.FUNC.VIRTUAL.UNUSEDPAR   Formal parameter of a virtual function set is not used

MISRA.FUNC.UNUSEDPAR   Formal parameter of a non-virtual function is not used

MISRA.FUNC.UNUSEDPAR.UNNAMED   Unnamed formal parameter of a non-virtual function is not used

UNUSED.FUNC.GEN   Function defined but not used

VA_UNUSED.GEN   Value is Never Used after Assignment

VA_UNUSED.INIT   Value is Never Used after Initialization

MISRA.FUNC.UNUSEDRET   Return value of a non-void function is not used

LV_UNUSED.GEN   Local variable unused

CWARN.NOEFFECT.UCMP.GE   Comparison of unsigned value against 0 is always true

CWARN.NOEFFECT.UCMP.GE.MACRO   Comparison of unsigned value against 0 within a macro is always true

CWARN.NOEFFECT.UCMP.LT   Comparison of unsigned value against 0 is always false

CWARN.NOEFFECT.UCMP.LT.MACRO   Comparison of unsigned value against 0 within a macro is always false

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

UNREACH.GEN   Unreachable code

UNREACH.RETURN   Unreachable Void Return

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

MISRA.CHAR.TRIGRAPH   Trigraph usage

MISRA.CHAR.DIGRAPH   Digraph usage

MISRA.TOKEN.BADCOM   Inappropriate character sequence in a comment

MISRA.TYPE.NAMECLASH.CPP.2008   Identifier in one name space has same spelling as identifier in other name space

MISRA.VAR.UNIQUE.STATIC   Identifier with static storage specifier clashes with other identifier

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

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

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

MISRA.STRINGS.CONCAT   Narrow and wide string literals concatenated

MISRA.LITERAL.SUFFIX.CASE   Literal suffix in lower case.

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

MISRA.TOKEN.OCTAL.ESCAPE   Usage of octal escape sequences

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

MISRA.TOKEN.WRONGESC   Incorrect escape sequence in a literal

MISRA.DECL.ARRAY_SIZE   Declaration of array with unknown size

MISRA.DECL.FUNC_LOCAL   Function is declared locally

MISRA.ONEDEFRULE.FUNC   Global function definition in a header file

MISRA.ONEDEFRULE.VAR   Global variable definition in a header file

MISRA.OBJ.TYPE.COMPAT   Type not compatible with type of other declaration

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

MISRA.LINKAGE.EXTERN   Object or function declaration with external linkage not in header file

MISRA.VAR.MIN.VIS   Name visibility is too wide

MISRA.FLOAT.BIT.REPR   Use of bit manipulations of floating-point values which rely on storage layout

MISRA.BUILTIN_NUMERIC   Builtin numeric type is used

MISRA.OBJ.TYPE.IDENT   Type not identical with type of other declaration

MISRA.CHAR.OPERAND   Expression of type 'char' or 'wchar_t' is used as non-character operand

MISRA.ENUM.OPERAND   Expression of enum type is used in arithmetic context

MISRA.LOGIC.OPERATOR.NOT_BOOL   Operand of non-logical operator is effectively boolean

MISRA.LITERAL.NULL.PTR   Literal zero used as the null-pointer-constant.

MISRA.LITERAL.NULL.INT   NULL used as an integer value.

MISRA.BITS.NOT_UNSIGNED   Operand of bitwise operation is not unsigned integer

MISRA.BITS.NOT_UNSIGNED.PREP   Operand of bitwise operation is not unsigned integer

MISRA.BITS.OPERAND   Operands of bitwise operation have different underlying types

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

MISRA.PTR.CMP.2008   Pointer comparison using comparison operators shall only be applied if pointing to same array and within the range

MISRA.PTR.CMP.OBJECT.2008   Pointer comparison using comparison operators shall only be applied if pointing to same object and within the range

MISRA.PTR.SUB   Pointer subtraction shall only be applied if pointing to same array

MISRA.PTR.SUB.OBJECT   Pointer subtraction shall only be applied if pointing to same object

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

MISRA.PTR.ARITH   Pointer is used in arithmetic or array index expression

MISRA.EXPR.COND.NOT_BOOLEAN   First operand of conditional expression is not a boolean expression

MISRA.STMT.COND.NOT_BOOLEAN   Condition of if or loop statement is not a boolean expression

MISRA.SIGNED_CHAR.NOT_NUMERIC   'signed char' or 'unsigned char' is used for non-numeric value

MISRA.CHAR.NOT_CHARACTER   'char' is used for non-character value

MISRA.CAST.UNSIGNED_BITS   The result of bitwise operation on unsigned char or short is not cast back to original type

MISRA.CAST.INT.SIGN   Non-trivial integral expression is cast to type with different signedness

MISRA.CAST.FLOAT.WIDER   Cast of floating point expression to a wider floating point type

MISRA.CAST.INT.WIDER   Cast of integral expression to a wider integral type

MISRA.CAST.FLOAT_INT   Cast of floating point expression to integral type

MISRA.CAST.INT_FLOAT   Cast of integral expression to floating point type

MISRA.CONV.NUM.NARROWER   Implicit numeric conversion to narrower type

MISRA.CONV.FLOAT   Implicit floating-point conversion

MISRA.CONV.INT.SIGN   Implicit integral conversion changes signedness

MISRA.CVALUE.IMPL.CAST.CPP   The value of an expression implicitly converted to a different type

MISRA.EXPR.PARENS.INSUFFICIENT   Limited dependence required for operator precedence rules in expressions

MISRA.EXPR.PARENS.REDUNDANT   Limited dependence required for operator precedence rules in expressions

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

MISRA.FUNC.ARRAY.PARAMS   Function argument with array type decay to a pointer

MISRA.BIN_OP.OVERLOAD   Comma, || or && operator overloaded

MISRA.INCR_DECR.OTHER   Increment or decrement operator is mixed with other operators in expression

MISRA.CAST.PTR_TO_INT   Cast between a pointer and an integral type

MISRA.CAST.INT_TO_PTR   Object with integer type or pointer to void cast to pointer type

MISRA.CAST.PTR.UNRELATED   Object of pointer type cast to unrelated type

MISRA.CAST.FUNC_PTR.CPP   Cast converts function pointer to other pointer type

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

MISRA.C_CAST   C-style cast to non-void type

MISRA.FUNC_CAST   Functional notation cast different from explicit constructor call

MISRA.CAST.POLY.TYPE   Cast from a polymorphic base class to a derived class

MISRA.CAST.PTR.VRCLASS   A cast form pointer to a virtual base class to pointer to a derived class does not use 'dynamic_cast'

MISRA.LOGIC.POSTFIX   Operand in a logical 'and' or 'or' expression is not a postfix expression

MISRA.SIZEOF.SIDE_EFFECT   Operand of sizeof has side effects

MISRA.UN_OP.OVERLOAD   Unary & operator is overloaded

MISRA.UMINUS.UNSIGNED   Operand of unary minus is unsigned

MISRA.LOGIC.NOT_BOOL   Operand of logical operation is not boolean

MISRA.SHIFT.RANGE   Right operand of shift operation is out of range - greater or equal to max bit-length of left operand, or negative

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

MISRA.COMMA   Comma operator is used

MISRA.COMP.WRAPAROUND   Wrap-around in a condition

MISRA.ELIF.WRAPAROUND   Wrap-around in #elif directive

MISRA.IF.WRAPAROUND   Wrap-around in #if directive

NUM.OVERFLOW.DF   Possible numeric overflow or wraparound

MISRA.NULL.STMT   Null statement is not the only statement on line or comments are placed incorrectly

MISRA.FLOAT_EQUAL   Floating point expression is tested for equality

MISRA.ASSIGN.COND   Assignment operator is used in a condition

MISRA.ASSIGN.SUBEXPR   Assignment operator is used in a sub-expression outside a condition

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

MISRA.SWITCH.NO_CASE   No case-clause in a switch statement

MISRA.SWITCH.BOOL   Condition of switch statement is boolean expression

MISRA.SWITCH.NODEFAULT   No default clause at the end of a switch statement

MISRA.SWITCH.NO_BREAK   No break or throw statement at the end of switch-clause

MISRA.SWITCH.LABEL   A switch label belongs to nested compound statement inside switch body

MISRA.SWITCH.NOT_WELL_FORMED   Switch statement is not well-formed

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.IF.NO_COMPOUND   The body of if/else statement is not a compound statement

MISRA.FOR.LOOP_CONTROL.NOT_BOOLEAN   Loop control variable is not boolean

MISRA.FOR.LOOP_CONTROL.CHANGE.COND   Loop control variable is modified in condition section of a for loop

MISRA.FOR.LOOP_CONTROL.CHANGE.EXPR   Loop control variable is modified in expression section of a for loop

MISRA.FOR.INCR   For loop counter is modified in an inappropriate way

MISRA.FOR.COND.CHANGE   For loop counter is modified within the loop condition section

MISRA.FOR.STMT.CHANGE   For loop counter is modified within the loop statement

MISRA.FOR.COND.EQ   ++ or -- operations are not used to change loop counter, but condition tests loop counter for equality

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

MISRA.FOR.COUNTER.MANY   Many counters in a for loop

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

MISRA.ITER.ONETERM   Iteration statement has more than one break or goto for loop termination.

MISRA.CONTINUE.ILL   Continue statement is used in an ill-formed for loop

MISRA.GOTO.AFTER.LABEL   Unconstrained use of goto

MISRA.GOTO.NESTED   Goto to a label declared in a nested compound statement

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

MISRA.VAR.NEEDS.CONST   Variable is not modified but is declared without const qualifier

MISRA.NAMESPACE.DECL   Using-declaration in header file

MISRA.NAMESPACE.DIR   Using-directive in header file

MISRA.NS.USING.HEADER   Using directive or declaration is used in a header file

MISRA.NS.USING_DECL   Multiple declarations for an identifier in the same namespace should not straddle a using-declaration for that identifier

MISRA.NS.USING_DIR   Using directive

MISRA.NAMESPACE.UNMD   Unnamed namespace in header file

MISRA.NS.MAIN   Non-global function with name 'main' is defined

MISRA.NS.GLOBAL   Function, variable or type declaration in global namespace

MISRA.NS.GLOBAL.USING   Using directive or declaration in global namespace

MISRA.ASM.ENCAPS   Assembly language is not isolated.

MISRA.PRAGMA.ASM   Incorrect assembler instruction

MISRA.FUNC.RECUR   Recursive function

MISRA.ADDR.REF.PARAM   Function returns reference to parameter passed by reference

MISRA.ADDR.REF.PARAM.PTR   Function returns address of parameter passed by reference

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.DECL.MANY_DCLS   More than one declarator in one declaration

MISRA.SAME.DEFPARAMS   Overriding virtual function and the function it overrides have different default arguments

MISRA.FUNC.ADDR   Address of a function is used without & operator

FUNCRET.GEN   Non-void function does not return value

MISRA.FUNC.PARAMS.IDENT   Identifiers used in declaration and definition of function are not identical

MISRA.FUNC.VARARG   Function with variable number of arguments

MISRA.ENUM.INIT   Non-first enumerator is explicitly initialized, but not all elements are explicitly initialized.

MISRA.INIT.BRACES   Incorrect initializer braces placement.

UNINIT.CTOR.MIGHT   Uninitialized Variable in Constructor - possible

UNINIT.CTOR.MUST   Uninitialized Variable in Constructor

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.MEMB.NON_CONST   Non-const member function does not change any member variables

MISRA.MEMB.NON_STATIC   Non-static member function does not use other non-static members of the same class

MISRA.RET.REF.NON_CONST   Member function returns non-const handle to member variable

MISRA.CONST.RET.NON_CONST   Constant member function returns non-const pointer to member variable

MISRA.UNION   Union is used

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

MISRA.FIELD.BIT.ENUM   Bit-field has enum type.

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

MISRA.BASE.VIRTUAL.NOTVIRTUAL   Base class is used as both virtual and not virtual in inheritance hierarchy

MISRA.VIRTUAL.BASE.DIAMOND   Base class is used as virtual not in diamond hierarchy

MISRA.DERIVE.VIRTUAL   Class is derived from virtual base

MISRA.BASE.IDS.UNIQUE   Member name is used twice in inheritance hierarchy

MISRA.PUREVIRT.OVRD   Pure virtual function overrides a non pure virtual function

MISRA.VIRTUAL.NOVIRTUAL   Overriding virtual function declared with no 'virtual' keyword

MISRA.BASE.MANYDEFS   Both overriding and overridden virtual functions have definitions

MISRA.MEMB.NOT_PRIVATE   Member variable in non-POD class is not private

MISRA.CTOR.NOT_EXPLICIT   Constructor with one argument of built-in type is not declared 'explicit'

MISRA.CTOR.BASE   Constructor does not explicitly call constructor of its base class

MISRA.CTOR.DYNAMIC   Object's dynamic type is used from the body of its constructor

MISRA.DTOR.DYNAMIC   Object's dynamic type is used from the body of its destructor

MISRA.COPYASSIGN.ABSTRACT   Copy assignment should be declared protected or private in an abstract class

MISRA.COPYASSIGN.TMPL   A copy ssignment operator should be defined when class has a template copy assignment operator with a single generic parameter

MISRA.COPY.CSTR.TMPL   Class has a template constructor with a single generic parameter, but has no copy constructor defined

MISRA.GENFU.ASSOC   Generic function is declared in an associated namespace

MISRA.FUNC.DECL.AFTERUSE   Function chosen by overload resolution when instantiating a template is declared after its usage

MISRA.TEMPLMEM.NOQUAL   In an instantiated template a member declared in a dependant base is used without a qualificator or 'this'

MISRA.SPEC.SAMEFILE   Template specialization and its primary template are declared in different files

MISRA.SPEC.ILL   Explicit instantiation of a template makes the code ill-formed

MISRA.FUNC.SPEC.NOTSPEC   Viable function set for a function call contains both specializations and non-specializations

MISRA.FUNC.SPEC.OVRLD   Viable function set for a function call contains an overloaded template and its explicit specialization

MISRA.TRY.JUMP   Control can be transferred into a try block with goto or switch statement

MISRA.THROW.PTR   Exception object is a pointer

MISRA.THROW.EMPTY   Empty throw expression does not belong to a catch block

MISRA.THROW.NULL   NULL is thrown explicitly

MISRA.CATCH.NOALL   Ellipsis exception handler is not the last one in a try-catch block

MISRA.CATCH.WRONGORD   Handler for a base exception class precedes to a handler for a derived exception class in a try-catch block

MISRA.CATCH.BY_VALUE   Exception object of class type is caught by value

MISRA.CTOR.TRY.NON_STATIC   Function try/catch block of constructor or destructor references non-static members

MISRA.CATCH.ALL   No ellipsis exception handler in a try-catch block

MISRA.DECL.EXCPT.SPEC   Function is declared with different exception specifications

MISRA.TERMINATE   terminate() function is called explicitly

MISRA.DTOR.THROW   Throw in destructor

MISRA.USE.UNKNOWNDIR   Unknown preprocessor directive is used

MISRA.ELIF.UNDEF   Undefined macros in #elif directive

MISRA.IF.UNDEF   Undefined macros in #if directive

MISRA.DEFINE.NOPARS   Macro parameter with no parentheses

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

MISRA.DEFINE.FUNC   Function-like macro definition

MISRA.UNDEF   Undef usage

MISRA.DEFINE.NOTGLOBAL   Define not at the global level

MISRA.UNDEF.NOTGLOBAL   Undef not at the global level

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

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.ELIF.DEFINED   Incorrect 'defined' usage in #elif directive

MISRA.IF.DEFINED   Incorrect 'defined' usage in #if directive

MISRA.INCL.BAD   Non-standard include directive

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

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

MISRA.INCGUARD   Include guard is not provided

MISRA.DEFINE.BADEXP.CPP   Inappropriate macro expansion in a C++ source

MISRA.USE.DEFINE   Non-guarding macro definition

MISRA.USE.EXPANSION   Macro expansion

MISRA.USE.WRONGDIR   Improper preprocessor directive

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

MISRA.DEFINE.SHARP.MANY   Several # or ## operators in a macro definition

MISRA.PRAGMA   Non-documented pragma directive

MISRA.EXPANSION.UNSAFE   Unsafe macro usage

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

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.UNDEF.WRONGNAME   Undefinition of a name from the standard library

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

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.STDLIB.CSTRING   Function from 'cstring' library is used

MISRA.STDLIB.CSTRING.MACRO   Macro from 'cstring' library is used

MISRA.INCL.UNSAFE   Unsafe header inclusion

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

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

MISRA.INCL.UNSAFE   Unsafe header inclusion

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

MISRA.EXPANSION.UNSAFE   Unsafe macro usage

MISRA.EXPANSION.UNSAFE   Unsafe macro usage

MISRA.STDLIB.MEMORY   Use of dynamic heap memory allocation

MISRA.EXPANSION.UNSAFE   Unsafe macro usage

MISRA.INCL.UNSAFE   Unsafe header inclusion

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

MISRA.EXPANSION.UNSAFE   Unsafe macro usage

MISRA.STDLIB.ERRNO   Use of error indicator 'errno'

MISRA.INCL.UNSAFE   Unsafe header inclusion

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