使用 Windows 或 Linux 脚本进行 Bug Finder 分析

使用批处理文件 (.bat) 或 shell 脚本 (.sh) 检查 C/C++ 代码中是否存在缺陷

使用 Windows® 或 Linux® 脚本配置并运行 Polyspace® 分析。了解可用的系统命令，并学习如何从命令行使用这些命令来运行 Polyspace。

为免于键入命令的完整路径，请将路径 polyspaceroot\polyspace\bin 添加到您操作系统上的 Path 环境变量中。其中，polyspaceroot 是 Polyspace 的安装文件夹，例如 C:\Program Files\Polyspace\R2025b。另请参阅安装 Polyspace 桌面端产品。

系统命令

polyspace-bug-finder（系统命令）对 Windows、Linux 或其他命令行运行 Bug Finder 分析
polyspace-comments-import(System Command) Import review information from previous Polyspace analysis
polyspace-configure（系统命令）从 DOS 或 UNIX 命令行中的编译系统创建 Polyspace 工程
polyspace-report-generator（系统命令）从本地或 Polyspace Access 上存储的 Polyspace 分析结果生成报告。
polyspace-results-export（系统命令）将 Polyspace 结果导出为 CSV 或 JSON 等外部格式

主题

相关信息