在 Polyspace 平台用户界面中进行 Code Prover 分析
在 Polyspace® 平台用户界面中检查 C/C++ 代码中是否存在缺陷
Polyspace 平台是一个集成环境，支持使用 Polyspace 产品对 C/C++ 代码进行静态分析和动态测试。在 Polyspace 平台用户界面中，您可以创建工程、添加源文件、配置分析选项并运行 Code Prover 分析。
工具
| Polyspace 平台设置 | Settings for Polyspace Platform user interface (自 R2024b 起) |
主题
快速入门
- Run Polyspace Code Prover on Desktop
Check C/C++ code exhaustively for run-time errors. - Polyspace 平台：用于静态分析和动态测试的统一平台
Polyspace 平台是一个使用 Polyspace 产品对 C/C++ 代码进行静态分析和测试的集成环境。
创建和更新工程
- Create Project and Add Source Files in Polyspace Platform User Interface
Add source files using your build command or manually.
- Create Easily Shareable Projects for Version Control
Create projects that are easy to share and submit to version control by using relative paths, variables, and a modular project structure. - Update Projects in Polyspace Platform User Interface
Update source files in Polyspace Platform projects. - Manage Related Projects in Polyspace Platform User Interface Using Workspaces
Create workspace from open projects, add projects to workspace, save workspace. - 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.
运行分析并打开结果
- Run Static Analysis in Polyspace Platform User Interface
Run Polyspace analysis on your desktop in the Polyspace Platform user interface. - Open Polyspace Results in Polyspace Platform User Interface
See all the ways you can open Polyspace results.
配置工程
- Configure Project for Static Analysis in Polyspace Platform User Interface
Configure build and static analysis options to check C/C++ code for bugs. - Polyspace Code Prover Options in Polyspace Platform User Interface
Look up Polyspace Code Prover™ static analysis options.
文件存储
- Artifacts and Results Generated by Polyspace Platform Projects
Learn about the files Polyspace generates when you build a project or run static analysis or tests. - Polyspace 分析期间临时文件的存储
了解 Polyspace 在分析期间将临时文件存储在何处。 - Submit Polyspace Files to Version Control
Learn which Polyspace files to submit to version control systems.
经典 Polyspace 用户界面中的变化
- Using Polyspace Platform as Default User Interface for Static Analysis
Import projects created in classic user interface, run tests or static analysis on imported projects. - Differences in Configuration Options Between Classic Polyspace Projects and Polyspace Platform Projects
Some options from the older Polyspace user interface have been remapped to different options in the Polyspace Platform user interface.
