配置检查项
配置您的分析以检测各种 Polyspace® Bug Finder™ 缺陷和编码规则
默认情况下,Polyspace Bug Finder 会在代码中检查一组预定义的缺陷。通过配置分析,可运行其他检查。例如:
通过指定要启用的子集来检查是否存在违反各种编码规则的情形。
计算一组特定的代码度量。
指定您使用的多任务库。
检查一组特定的 Bug Finder 缺陷。
类别
- 配置编码规则检查项和代码度量
激活 MISRA™、AUTOSAR、CERT® 和 JSF® 编码规则集、自定义编码规则和代码度量
- 配置多任务检查项
指定代码中使用的多任务构造,例如入口函数、中断、周期任务和时序互斥任务
- 配置 Bug Finder 缺陷检查项
指定 Polyspace Bug Finder 缺陷检查项集