Polyspace Bug Finder Defects Checkers Enabled by Default

When you start a Bug Finder analysis, these checkers are enabled by default. To view a list of checkers that are enabled by default when you analyze generated code, see Polyspace Bug Finder Defects Checkers Enabled by Default for Generated Code.

Defect	Command-line Name
`Absorption of float operand`	`FLOAT_ABSORPTION`
`Accessing object with temporary lifetime`	`TEMP_OBJECT_ACCESS`
`Alignment changed after memory reallocation`	`ALIGNMENT_CHANGE`
`Alternating input and output from a stream without flush or positioning call`	`IO_INTERLEAVING`
`Array access out of bounds`	`OUT_BOUND_ARRAY`
`Assertion`	`ASSERT`
`Atomic load and store sequence not atomic`	`ATOMIC_VAR_SEQUENCE_NOT_ATOMIC`
`Atomic variable accessed twice in an expression`	`ATOMIC_VAR_ACCESS_TWICE`
`Base class assignment operator not called`	`MISSING_BASE_ASSIGN_OP_CALL`
`Base class destructor not virtual`	`DTOR_NOT_VIRTUAL`
`Buffer overflow from incorrect string format specifier`	`STR_FORMAT_BUFFER_OVERFLOW`
`Call through non-prototyped function pointer`	`UNPROTOTYPED_FUNC_CALL`
`Character value absorbed into EOF`	`CHAR_EOF_CONFUSED`
`Closing a previously closed resource`	`DOUBLE_RESOURCE_CLOSE`
`Conversion or deletion of incomplete class pointer`	`INCOMPLETE_CLASS_PTR`
`Copy constructor not called in initialization list`	`MISSING_COPY_CTOR_CALL`
`Copy operation modifying source operand`	`COPY_MODIFYING_SOURCE`
`Data race`	`DATA_RACE`
`Data race on adjacent bit fields`	`DATA_RACE_BIT_FIELDS`
`Data race through standard library function call`	`DATA_RACE_STD_LIB`
`Dead code`	`DEAD_CODE`
`Deadlock`	`DEADLOCK`
`Deallocation of previously deallocated pointer`	`DOUBLE_DEALLOCATION`
`Declaration mismatch`	`DECL_MISMATCH`
`Destination buffer overflow in string manipulation`	`STRLIB_BUFFER_OVERFLOW`
`Destination buffer underflow in string manipulation`	`STRLIB_BUFFER_UNDERFLOW`
`Double lock`	`DOUBLE_LOCK`
`Double unlock`	`DOUBLE_UNLOCK`
`Environment pointer invalidated by previous operation`	`INVALID_ENV_POINTER`
`Errno not reset`	`MISSING_ERRNO_RESET`
`Exception caught by value`	`EXCP_CAUGHT_BY_VALUE`
`Exception handler hidden by previous handler`	`EXCP_HANDLER_HIDDEN`
`Float conversion overflow`	`FLOAT_CONV_OVFL`
`Float division by zero`	`FLOAT_ZERO_DIV`
`Format string specifiers and arguments mismatch`	`STRING_FORMAT`
`Improper array initialization`	`IMPROPER_ARRAY_INIT`
`Incompatible types prevent overriding`	`VIRTUAL_FUNC_HIDING`
`Incorrect data type passed to va_arg`	`VA_ARG_INCORRECT_TYPE`
`Incorrect pointer scaling`	`BAD_PTR_SCALING`
`Incorrect type data passed to va_start`	`VA_START_INCORRECT_TYPE`
`Incorrect use of offsetof in C++`	`OFFSETOF_MISUSE`
`Incorrect use of va_start`	`VA_START_MISUSE`
`Incorrect value forwarding`	`INCORRECT_VALUE_FORWARDING`
`Infinite loop`	`INFINITE_LOOP`
`Inline constraint not respected`	`INLINE_CONSTRAINT_NOT_RESPECTED`
`Integer conversion overflow`	`INT_CONV_OVFL`
`Integer division by zero`	`INT_ZERO_DIV`
`Invalid assumptions about memory organization`	`INVALID_MEMORY_ASSUMPTION`
`Invalid deletion of pointer`	`BAD_DELETE`
`Invalid free of pointer`	`BAD_FREE`
`Invalid use of = operator`	`BAD_EQUAL_USE`
`Invalid use of == operator`	`BAD_EQUAL_EQUAL_USE`
`Invalid use of standard library floating point routine`	`FLOAT_STD_LIB`
`Invalid use of standard library integer routine`	`INT_STD_LIB`
`Invalid use of standard library memory routine`	`MEM_STD_LIB`
`Invalid use of standard library routine`	`OTHER_STD_LIB`
`Invalid use of standard library string routine`	`STR_STD_LIB`
`Invalid va_list argument`	`INVALID_VA_LIST_ARG`
`Lambda used as typeid operand`	`LAMBDA_TYPE_MISUSE`
`Memory comparison of padding data`	`MEMCMP_PADDING_DATA`
`Memory comparison of strings`	`MEMCMP_STRINGS`
`Missing lock`	`BAD_UNLOCK`
`Missing null in string array`	`MISSING_NULL_CHAR`
`Missing return statement`	`MISSING_RETURN`
`Missing unlock`	`BAD_LOCK`
`Misuse of a FILE object`	`FILE_OBJECT_MISUSE`
`Misuse of errno`	`ERRNO_MISUSE`
`Misuse of errno in a signal handler`	`SIG_HANDLER_ERRNO_MISUSE`
`Misuse of sign-extended character value`	`CHARACTER_MISUSE`
`Misuse of structure with flexible array member`	`FLEXIBLE_ARRAY_MEMBER_STRUCT_MISUSE`
`Move operation on const object`	`MOVE_CONST_OBJECT`
`Noexcept function exits with exception`	`NOEXCEPT_FUNCTION_THROWS`
`Non-initialized pointer`	`NON_INIT_PTR`
`Non-initialized variable`	`NON_INIT_VAR`
`Null pointer`	`NULL_PTR`
`Object slicing`	`OBJECT_SLICING`
`Opening previously opened resource`	`DOUBLE_RESOURCE_OPEN`
`Operator new not overloaded for possibly overaligned class`	`MISSING_OVERLOAD_NEW_FOR_ALIGNED_OBJ`
`Partial override of overloaded virtual functions`	`PARTIAL_OVERRIDE`
`Partially accessed array`	`PARTIALLY_ACCESSED_ARRAY`
`Pointer access out of bounds`	`OUT_BOUND_PTR`
`Pointer or reference to stack variable leaving scope`	`LOCAL_ADDR_ESCAPE`
`Possible misuse of sizeof`	`SIZEOF_MISUSE`
`Possibly unintended evaluation of expression because of operator precedence rules`	`OPERATOR_PRECEDENCE`
`Predefined macro used as an object`	`MACRO_USED_AS_OBJECT`
`Preprocessor directive in macro argument`	`PRE_DIRECTIVE_MACRO_ARG`
`Resource leak`	`RESOURCE_LEAK`
`Return from computational exception signal handler`	`SIG_HANDLER_COMP_EXCP_RETURN`
`Self assignment not tested in operator`	`MISSING_SELF_ASSIGN_TEST`
`Shared data access within signal handler`	`SIG_HANDLER_SHARED_OBJECT`
`Side effect of expression ignored`	`SIDE_EFFECT_IGNORED`
`Sign change integer conversion overflow`	`SIGN_CHANGE`
`Signal call from within signal handler`	`SIG_HANDLER_CALLING_SIGNAL`
`Standard function call with incorrect arguments`	`STD_FUNC_ARG_MISMATCH`
`Stream argument with possibly unintended side effects`	`STREAM_WITH_SIDE_EFFECT`
`Subtraction or comparison between pointers to different arrays`	`PTR_TO_DIFF_ARRAY`
`Throw argument raises unexpected exception`	`THROW_ARGUMENT_EXPRESSION_THROWS`
`Too many va_arg calls for current argument list`	`TOO_MANY_VA_ARG_CALLS`
`Typedef mismatch`	`TYPEDEF_MISMATCH`
`Universal character name from token concatenation`	`PRE_UCNAME_JOIN_TOKENS`
`Unnamed namespace in header file`	`UNNAMED_NAMESPACE_IN_HEADER`
`Unreachable code`	`UNREACHABLE`
`Unreliable cast of function pointer`	`FUNC_CAST`
`Unreliable cast of pointer`	`PTR_CAST`
`Unsigned integer conversion overflow`	`UINT_CONV_OVFL`
`Use of automatic variable as putenv-family function argument`	`PUTENV_AUTO_VAR`
`Use of previously closed resource`	`CLOSED_RESOURCE_USE`
`Use of previously freed pointer`	`FREED_PTR`
`Useless if`	`USELESS_IF`
`Variable length array with nonpositive size`	`NON_POSITIVE_VLA_SIZE`
`Variable shadowing`	`VAR_SHADOWING`
`Write without a further read`	`USELESS_WRITE`
`Writing to const qualified object`	`CONSTANT_OBJECT_WRITE`
`Writing to read-only resource`	`READ_ONLY_RESOURCE_WRITE`
`Wrong type used in sizeof`	`PTR_SIZEOF_MISMATCH`

To enable other checkers and coding rule, configure checkers selections. See Prepare Checkers Configuration for Polyspace Bug Finder Analysis or Setting Checkers in Polyspace as You Code.

Polyspace Bug Finder Defects Checkers Enabled by Default

Related Topics