默认为生成的代码启用 Polyspace Bug Finder 缺陷检查项
当您对从 Simulink® 或 MATLAB® 代码生成的代码启动 Bug Finder 分析时，以下检查项默认处于启用状态。要查看在对手写代码运行分析时启用的检查项列表，请参阅默认启用的 Polyspace 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。
