Joint Strike Fighter Air Vehicle C++ IDs mapped to Klocwork C++ checkers

MISRA.USE.DEFINE  Non-guarding macro definition

MISRA.USE.DEFINE  Non-guarding macro definition

MISRA.USE.DEFINE  Non-guarding macro definition

MISRA.INCGUARD  Include guard is not provided

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

MISRA.UN_OP.OVERLOAD  Unary & operator is overloaded

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

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.SWITCH.NOT_WELL_FORMED  Switch statement is not well-formed

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

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

MISRA.CHAR.TRIGRAPH  Trigraph usage

MISRA.CHAR.DIGRAPH  Digraph usage

AUTOSAR.TYPE.WCHAR_T  Type wchar_t shall not be used

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

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

MISRA.EXPANSION.UNSAFE  Unsafe macro usage

AUTOSAR.SETLOCALE  The library <clocale> (locale.h) and the setlocale function shall not be used

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

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

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

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

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

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

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

MISRA.ELIF.DEFINED  Incorrect 'defined' usage in #elif directive

MISRA.ELIF.UNDEF  Undefined macros in #elif directive

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

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

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

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

MISRA.IF.UNDEF  Undefined macros in #if directive

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

MISRA.UNDEF  Undef usage

MISRA.USE.EXPANSION  Macro expansion

MISRA.USE.UNKNOWNDIR  Unknown preprocessor directive is used

MISRA.USE.WRONGDIR  Improper preprocessor directive

MISRA.DEFINE.FUNC  Function-like macro definition

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

MISRA.INCL.BAD  Non-standard include directive

HA.DUPLICATE 

HA.UNUSED 

HA.OPTIMIZE 

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

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

CWARN.INCL.NO_INTERFACE  Source file does not include its interface header

AUTOSAR.STYLE.SINGLE_STMT_PER_LINE  Each expression statement and identifier declaration shall be placed on a separate line

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

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

JSF.ORDER.ACCESS_SPEC  The public, protected, and private sections of a class will be declared in that order

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

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

MISRA.MEMB.NON_CONST  Non-const member function does not change any member variables

AUTOSAR.FRIEND_DECL  Friend declarations shall not be used

AUTOSAR.DTOR.NON_VIRTUAL  If a public destructor of a class is non-virtual, then the class should be declared final

UNINIT.CTOR.MIGHT  Uninitialized Variable in Constructor - possible

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

AUTOSAR.CTOR.NSDMI_INIT_LIST  Both NSDMI and a non-static member initializer in a constructor shall not be used in the same type

CWARN.MEMBER.INIT.ORDER  Members of the initialization list are not listed in the order in which they are declared in the class

CL.FFM.ASSIGN  Use of free memory (double free) - no operator=

CL.FFM.COPY  Use of free memory (double free) - no copy constructor

CL.SHALLOW.ASSIGN  Use of free memory (double free) - shallow copy in operator=

CL.SHALLOW.COPY  Use of free memory (double free) - shallow copy in copy constructor

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

UNINIT.CTOR.MIGHT  Uninitialized Variable in Constructor - possible

UNINIT.CTOR.MUST  Uninitialized Variable in Constructor

JSF.MBR.SIG.MATCHES.COPY_CSTR  The definition of a member function shall not contain default arguments that produce a signature identical to that of the implicitly-declared copy constructor

CWARN.DTOR.NONVIRT.DELETE  Delete expression for an object of a class with virtual methods and no virtual destructor

CWARN.DTOR.NONVIRT.NOTEMPTY  Class has virtual functions inherited from a base class, but its destructor is not virtual and not empty

CL.MLK  Memory Leak - in destructor

CL.MLK.VIRTUAL  Memory Leak - possible in destructor

CL.SELF-ASSIGN  Use of free memory (double free) - in operator=

AUTOSAR.ASSIGN.RETURN  An assignment operator shall return a reference to "this"

JSF.CLASS.DEFINE.OPPOSITE_OPERATOR  When two operators are opposites (such as == and !=), both will be defined and one will be defined in terms of the other

JSF.INHERITANCE.NON_ABSTRACT  Hierarchies should be based on abstract classes

MISRA.DERIVE.VIRTUAL  Class is derived from virtual base

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

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

JSF.DERIVED.NON_VIRT.REDEFINED  An inherited nonvirtual function shall not be redefined in a derived class

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

JSF.CAST.DERIVED.ARRAY.FUNC.CALL  Arrays shall not be treated polymorphically

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

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

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

MISRA.FUNC.VARARG  Function with variable number of arguments

AUTOSAR.FUNC.INLINE_DEF  A function definition shall only be placed in a class definition if (1) the function is intended to be inlined (2); it is a member function template; (3) it is a member function of a class template

MLK.MIGHT  Memory Leak - possible

MLK.MUST  Memory Leak

MLK.RET.MIGHT  Memory Leak - possible

MLK.RET.MUST  Memory Leak

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

FUNCRET.GEN  Non-void function does not return value

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

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

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

MISRA.FUNC.RECUR  Recursive function

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

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

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

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

AUTOSAR.REGISTER  The register keyword shall not be used

AUTOSAR.DECL.IN_DEFN  A class, structure, or enumeration shall not be declared in the definition of its type

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

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  Incorrect initializer braces placement.

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

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

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

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

AUTOSAR.HEX.UPPER  Hexadecimal constants should be upper case

CERT.STR.ASSIGN.CONST_TO_NONCONST 

MISRA.DECL.MANY_DCLS  More than one declarator in one declaration

MISRA.UNION  Union is used

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

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

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

JSF.UNNAMED.MEMBER  All the members of a structure (or class) shall be named and shall only be accessed via their names

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

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

MISRA.LOGIC.PRIMARY  Operand in a logical 'and' or 'or' expression is not a primary expression

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.CAST.INT.SIGN  Non-trivial integral expression is cast to type with different signedness

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

MISRA.UMINUS.UNSIGNED  Operand of unary minus is unsigned

MISRA.SIZEOF.SIDE_EFFECT  Operand of sizeof has side effects

MISRA.COMMA  Comma operator is used

JSF.POINTER_TO_POINTER  Pointers to pointers should be avoided when possible

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

NPD.CHECK.CALL.MIGHT  Pointer may be passed to function that can dereference it after it was positively checked for NULL

NPD.CHECK.CALL.MUST  Pointer will be passed to function that may dereference it after it was positively checked for NULL

NPD.CHECK.MIGHT  Pointer may be dereferenced after it was positively checked for NULL

NPD.CHECK.MUST  Pointer will be dereferenced after it was positively checked for NULL

NPD.CONST.CALL  NULL is passed to function that can dereference it

NPD.CONST.DEREF  NULL is dereferenced

NPD.FUNC.CALL.MIGHT  Result of function that may return NULL may be passed to another function that may dereference it

NPD.FUNC.CALL.MUST  Result of function that may return NULL will be passed to another function that may dereference it

NPD.FUNC.MIGHT  Result of function that can return NULL may be dereferenced

NPD.FUNC.MUST  Result of function that may return NULL will be dereferenced

NPD.GEN.CALL.MIGHT  Null pointer may be passed to function that may dereference it

NPD.GEN.CALL.MUST  Null pointer will be passed to function that may dereference it

NPD.GEN.MIGHT  Null pointer may be dereferenced

NPD.GEN.MUST  Null pointer will be dereferenced

RNPD.CALL  Suspicious dereference of pointer in function call before NULL check

RNPD.DEREF  Suspicious dereference of pointer before NULL check

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

JSF.FUNC.PTR.TYPEDEF  A typedef will be used to simplify program syntax when declaring function pointers

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

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.CAST.POLY.TYPE  Cast from a polymorphic base class to a derived class

MISRA.CONV.NUM.NARROWER  Implicit numeric conversion to narrower 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.PTR_TO_INT  Cast between a pointer and an integral type

MISRA.CONV.FLOAT  Implicit floating-point conversion

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

MISRA.FUNC_CAST  Functional notation cast different from explicit constructor call

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

UNREACH.GEN  Unreachable code

UNREACH.RETURN  Unreachable Void Return

MISRA.STMT.NO_EFFECT  The statement has no side effects, and does not change control flow

JSF.LABEL  Labels will not be used, except in switch statements

AUTOSAR.GOTO  The goto statement shall not be used

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

JSF.BREAK  The break statement shall not be used

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.NO_BREAK  No break or throw statement at the end of switch-clause

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

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

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

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

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

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

MISRA.FOR.INCR.CHANGE  For loop increment expression does not change loop counter

JSF.LOOP.NULL.INIT_OR_INCR  Null initialize or increment expressions in for loops will not be used

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.FLOAT_EQUAL  Floating point expression is tested for equality

NUM.OVERFLOW  Possible Overflow

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

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

AUTOSAR.TYPE.QUAL.VOLATILE  The volatile type qualifier shall not be used

AUTOSAR.OP.NEW_DELETE  Non-placement new or delete expressions shall not be used

AUTOSAR.STDLIB.MEMORY  Functions malloc, calloc, realloc and free shall not be used

FMM.MIGHT  Freeing Mismatched Memory - possible

FMM.MUST  Freeing Mismatched Memory

JSF.UNENCAPSULATED.GLOBAL  Unencapsulated global data will be avoided

JSF.EXCEPTION  C++ exceptions shall not be used

AUTOSAR.BUILTIN_NUMERIC  Fixed width integer types from <cstdint> shall be used in place of the basic numerical types

PORTING.MACRO.NUMTYPE  Macro describing a builtin numeric type is used

PORTING.BITFIELDS  Usage of bitfields within a structure

PORTING.BSWAP.MACRO  A custom byte swap macro is used without checking endian

PORTING.BYTEORDER.SIZE  An incompatible type is used with a network macro such as 'ntohl'

JSF.CAST.MBR.ORDER.ACCESS_SPEC  Algorithms shall not make assumptions concerning the order of allocation of nonstatic data members separated by an access specifier

PORTING.UNSIGNEDCHAR.OVERFLOW.FALSE  Relational expression may be always false depending on 'char' type signedness

PORTING.UNSIGNEDCHAR.OVERFLOW.TRUE  Relational expression may be always true depending on 'char' type signedness

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

JSF.USE.STATIC.NON_LOCAL  Assuming that non-local static objects, in separate translation units, are initialized in a special order shall not be done

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

MISRA.INCGUARD  Include guard is not provided

MISRA.USE.DEFINE  Non-guarding macro definition

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

MISRA.UN_OP.OVERLOAD  Unary & operator is overloaded

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.SHIFT.RANGE  Right operand of shift operation is out of range - greater or equal to max bit-length of left operand, or negative

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

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