本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。
运行设置
远程分析、结果存储库
要指定 Bug Finder 分析必须在远程服务器端执行，或者必须以超过常规分析模式的速度生成结果，请使用运行设置选项。
Polyspace 选项
在远程集群上运行 Bug Finder 或 Code Prover 分析 (-batch) | Enable batch remote analysis |
为 Bug Finder 使用快速分析模式 (-fast-analysis) | Run analysis using faster local mode |
主题
- 指定 Polyspace 分析选项
在 Polyspace® 用户界面、其他 IDE 或脚本中指定 Polyspace 分析选项。
- Bug Finder Results Found in Fast Analysis Mode
Learn about the subset of defects and coding rules that Bug Finder checks in fast analysis mode.
- Send Polyspace Analysis from Desktop to Remote Servers Using Scripts
Send Polyspace analysis jobs to a remote server by using batch files (
.bat) or shell scripts (.sh).
