默认为生成的代码启用 Polyspace Bug Finder 缺陷检查项

R2026b

当您对从 Simulink^® 或 MATLAB^® 代码生成的代码启动 Bug Finder 分析时，以下检查项默认处于启用状态。

缺陷	命令行名称
`浮点操作数被吸收`	`FLOAT_ABSORPTION`
`数组访问越界`	`OUT_BOUND_ARRAY`
`断言`	`ASSERT`
`数据争用`	`DATA_RACE`
`相邻位字段的数据争用`	`DATA_RACE_BIT_FIELDS`
`对标准库函数调用的数据争用`	`DATA_RACE_STD_LIB`
`死代码`	`DEAD_CODE`
`死锁`	`DEADLOCK`
`释放之前已释放的指针`	`DOUBLE_DEALLOCATION`
`声明不匹配`	`DECL_MISMATCH`
`对空指针执行解引用`	`NULL_PTR`
`双锁`	`DOUBLE_LOCK`
`双解锁`	`DOUBLE_UNLOCK`
`浮点数转换溢出`	`FLOAT_CONV_OVFL`
`浮点数除以零`	`FLOAT_ZERO_DIV`
`格式字符串设定符和参量不匹配`	`STRING_FORMAT`
`无限循环`	`INFINITE_LOOP`
`整数转换溢出`	`INT_CONV_OVFL`
`整数除以零`	`INT_ZERO_DIV`
`无效的指针释放`	`BAD_FREE`
`无效的标准库浮点例程使用`	`FLOAT_STD_LIB`
`无效的标准库整数例程使用`	`INT_STD_LIB`
`无效的标准库内存例程使用`	`MEM_STD_LIB`
`无效的标准库例程使用`	`OTHER_STD_LIB`
`无效的标准库字符串例程使用`	`STR_STD_LIB`
`缺失锁`	`BAD_UNLOCK`
`缺失 return 语句`	`MISSING_RETURN`
`缺失解锁`	`BAD_LOCK`
`未初始化的指针`	`NON_INIT_PTR`
`未初始化的变量`	`NON_INIT_VAR`
`指针访问越界`	`OUT_BOUND_PTR`
`符号变化整数转换溢出`	`SIGN_CHANGE`
`Typedef 不匹配`	`TYPEDEF_MISMATCH`
`不可达代码`	`UNREACHABLE`
`不可靠的函数指针强制转换`	`FUNC_CAST`
`不可靠的指针强制转换`	`PTR_CAST`
`无符号整数转换溢出`	`UINT_CONV_OVFL`
`使用之前已释放的指针`	`FREED_PTR`
`无用的 if 条件`	`USELESS_IF`

要启用其他检查项和编码规则，请配置检查项选择。请参阅Prepare Checkers Configuration for Polyspace Bug Finder Analysis。

另请参阅

主题

Checkers Deactivated in Polyspace as You Code Analysis (Polyspace as You Code)