通过 Windows 或 Linux 脚本进行 Code Prover 分析
.bat) 或 shell 脚本 (.sh) 检查 C/C++ 代码中是否存在运行时错误使用 Windows® 或 Linux® 脚本配置并运行 Polyspace® 分析。了解可用的系统命令，并学习如何从命令行使用这些命令来运行 Polyspace。
为免于键入命令的完整路径，请将路径 polyspaceroot\polyspace\binPath 环境变量中。其中，polyspacerootC:\Program Files\Polyspace\R2025b。另请参阅安装 Polyspace 桌面端产品。
系统命令
polyspace-code-prover | (DOS/UNIX) 从 Windows、Linux 或其他命令行运行 Code Prover 验证 |
polyspace-comments-import | (System Command) Import review information from previous Polyspace analysis |
polyspace-configure | (System Command) Create Polyspace project from your build system at the DOS or UNIX command line |
polyspace-report-generator | (System Command) Generate reports from Polyspace analysis results stored locally or on Polyspace Access |
polyspace-results-export | (System Command) Export Polyspace results to external formats such as CSV or JSON |
主题
- 从命令行运行 Polyspace 分析
通过 Bug Finder 或 Code Prover 使用批处理文件 (
.bat) 或 shell 脚本 (.sh) 检查 C/C++ 代码。 - 从编译命令 (makefile) 创建 Polyspace 分析配置
重复使用编译命令 (makefile) 来配置 Polyspace 分析。
- Configure Polyspace Analysis Options in User Interface and Generate Scripts
Generate scripts for automated runs from projects configured in the user interface of the Polyspace desktop products.
- Modularize Polyspace Analysis at Command Line Based on an Initial Interdependency Analysis
Break down Polyspace analysis into smaller and relatively independent modules for faster module verification.
- Test Functions and Constrain Polyspace Code Prover Analysis for Ranges of Inputs and Outputs (Polyspace Test)
Test functions over one or more ranges of input and verify if the output is within a valid range using range specification macros. Run static analysis on the function and associated tests using the specified ranges as external constraint.
- Classify Project Files into File Sets for Precise Control of Polyspace Analysis
Control precisely which files to include in analysis and how to analyze them.
