Polyspace Bug Finder Defects Checkers Enabled by Default for Generated Code

When you start a Bug Finder analysis on code generated from Simulink^® or MATLAB^® code, these checkers are enabled by default. To see a list of checkers that are enabled when you run an analysis on handwritten code, see Polyspace Bug Finder Defects Checkers Enabled by Default.

Defect	Command-line Name
Absorption of float operand	FLOAT_ABSORPTION
Array access out of bounds	OUT_BOUND_ARRAY
Assertion	ASSERT
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
Dereference of a null pointer	NULL_PTR
Double lock	DOUBLE_LOCK
Double unlock	DOUBLE_UNLOCK
Float conversion overflow	FLOAT_CONV_OVFL
Float division by zero	FLOAT_ZERO_DIV
Format string specifiers and arguments mismatch	STRING_FORMAT
Infinite loop	INFINITE_LOOP
Integer conversion overflow	INT_CONV_OVFL
Integer division by zero	INT_ZERO_DIV
Invalid free of pointer	BAD_FREE
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
Missing lock	BAD_UNLOCK
Missing return statement	MISSING_RETURN
Missing unlock	BAD_LOCK
Non-initialized pointer	NON_INIT_PTR
Non-initialized variable	NON_INIT_VAR
Pointer access out of bounds	OUT_BOUND_PTR
Sign change integer conversion overflow	SIGN_CHANGE
Typedef mismatch	TYPEDEF_MISMATCH
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 previously freed pointer	FREED_PTR
Useless if	USELESS_IF

To enable other checkers and coding rule, configure checkers selections. See Prepare Checkers Configuration for Polyspace Bug Finder Analysis.