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

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.INCGUARD   Include guard is not provided

MISRA.USE.DEFINE   Non-guarding macro definition

MISRA.USE.DEFINE   Non-guarding macro definition

MISRA.DEFINE.FUNC   Function-like macro definition

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

MISRA.USE.DEFINE   Non-guarding macro definition

MISRA.USE.DEFINE   Non-guarding macro definition

MISRA.INCL.BAD   Non-standard include directive

MISRA.INCGUARD   Include guard is not provided

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"

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

MISRA.UN_OP.OVERLOAD   Unary & operator is overloaded

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

LOCRET.ARG   Function returns address of local variable

LOCRET.GLOB   Function returns address of local variable

LOCRET.RET   Function returns address of local variable

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   Do not assign a const char pointer to a non-const char pointer

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.BIN_OP.OVERLOAD   Comma, || or && operator overloaded

MISRA.UN_OP.OVERLOAD   Unary & operator is overloaded

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

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.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

LOCRET.ARG   Function returns address of local variable

LOCRET.GLOB   Function returns address of local variable

LOCRET.RET   Function returns address of local variable

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

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

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

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

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.COUNTER.MANY   Many counters in a for loop

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

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

NUM.OVERFLOW.DF   Possible numeric overflow or wraparound

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