Polyspace Code Prover 分析选项的完整列表
配置 Polyspace® Code Prover™ 分析
使用 Polyspace 时,您可能希望更改某些默认分析选项。您可以更改选项来解决编译问题、修改 Code Prover 假设、更改检查行为,等等。这里按 Polyspace 桌面端产品用户界面配置窗格中的组织形式列出了可用选项。
您可以使用 Polyspace 桌面端用户界面、Polyspace 命令行界面或选项文件指定分析选项。
Polyspace 用户界面:要更改某个工程模块的分析选项,请在工程浏览器中选择该模块的配置节点。在配置窗格中,根据需要更改选项。请参阅Run Static Analysis in Polyspace User Interface。
命令行:要在命令行运行 Polyspace 分析时指定分析选项,请将选项附加到
polyspace-code-prover
或polyspace-code-prover-server
。请参阅从命令行运行 Polyspace 分析。选项文件:选项文件是一个文本文件,其中每行包含一个选项-值对。除了显式枚举许多选项之外,您还可以在命令行上将一个选项文件指定为选项
-options-file
的值。请参阅用于 Polyspace 分析的选项文件。