Polyspace Bug Finder 分析引擎选项的完整列表
配置 Polyspace® Bug Finder™ 分析
使用 Polyspace 时,您可能希望更改某些默认分析选项。您可以更改选项来解决编译问题、指定额外的检查项、基于编码标准设置规则、生成报告,等等。这里按 Polyspace 桌面端产品用户界面配置窗格中的组织形式列出了可用选项。
您可以使用 Polyspace 桌面端用户界面、Polyspace 命令行界面或选项文件指定分析选项。
Polyspace 用户界面:要更改某个工程模块的分析选项,请在工程浏览器中选择该模块的配置节点。在配置窗格中,根据需要更改选项。请参阅Run Analysis in Polyspace Desktop User Interface。
命令行:要在从命令行运行 Polyspace 分析时指定分析选项,请将选项追加到
polyspace-bug-finder
或polyspace-bug-finder-server
的后面。请参阅从命令行运行 Polyspace 分析。选项文件:选项文件是一个文本文件,其中每行包含一个选项-值对。除了显式枚举许多选项之外,您还可以在命令行上将一个选项文件指定为选项
-options-file
的值。请参阅用于 Polyspace 分析的选项文件。
有关可通过 Polyspace as You Code 插件或扩展使用的 IDE 特定设置的详细信息,请参阅在 IDE 中设置 Polyspace 分析。
类别
- 目标和编译器
目标处理器类型、编译器行为
- 宏
预处理器规范和定义
- 环境设置
预处理脚本、包含文件
- 输入和插桩
指定全局变量和函数的范围
- 多任务处理
多任务处理选项、入口点、临界区、排他任务
- 编码标准和代码度量
MISRA、AUTOSAR、CERT 和 JSF 编码规则集,自定义编码规则,代码度量
- Bug Finder 分析
用于查找缺陷的分析选项
- main 函数生成器
main 函数生成;初始化函数、单步函数和终止函数;参数和输入变量
- 检查行为
修改运行时检查的默认行为
- 精度
指定分析精度
- 报告
缺陷报告、摘要报告、报告模板
- 运行设置
远程分析、结果存储库
- 高级设置
分析后命令、脚本、非正式选项
- 仅可在命令行使用的选项
仅可在命令行使用的选项、高级选项