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.

Polyspace Bug Finder Defects Checkers Enabled by Default for Generated Code

Related Topics