在 Polyspace 平台用户界面中进行 Code Prover 分析
在 Polyspace® 平台用户界面中检查 C/C++ 代码中是否存在缺陷
Polyspace 平台是一个集成环境,支持使用 Polyspace 产品对 C/C++ 代码进行静态分析和动态测试。在 Polyspace 平台用户界面中,您可以创建工程、添加源文件、配置分析选项并运行 Code Prover 分析。
Polyspace 选项
系统命令
polyspace-project -diff, polyspace-project -merge | (System Command) Compare and merge Polyspace Platform projects before submission to source control |
polyspace-project -convert-psprj-to-workspace | (System Command) Convert Polyspace project file to Polyspace Platform workspace file and project files |
polyspace-project -generate-launching-script-for | (System Command) Generate files needed to run static analysis on a Polyspace Platform project |
主题
快速入门
- Polyspace 平台:用于静态分析和动态测试的统一平台
Polyspace 平台是一个使用 Polyspace 产品对 C/C++ 代码进行静态分析和测试的集成环境。 - Benefits and Limitations of Switching to Polyspace Platform User Interface
Import projects created in older user interface, run tests or static analysis on imported projects. - Run Static Analysis in Polyspace Platform User Interface
Run Polyspace analysis on your desktop in the Polyspace Platform user interface. - Generate Launching Script for a Polyspace Platform Project to Run Static Analysis from the Command Line
Run static analysis on a Polyspace Platform project from the command line. - Open Polyspace Results in Polyspace Platform User Interface
See all the ways you can open Polyspace results. - 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.
创建和更新工程
- Create Project and Add Source Files in Polyspace Platform User Interface
Add source files using your build command or manually.
- 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.
配置工程
- Configure Project for Static Analysis in Polyspace Platform User Interface
Specify targets and build information to build and run tests. - Polyspace Code Prover Options in Polyspace Platform User Interface
Look up Polyspace Code Prover™ static analysis options. - Differences in Configuration Options Between 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.
Polyspace 平台用户界面
- Customize Polyspace Platform User Interface
Customize the default behavior of Polyspace Platform user interface.
文件存储
- Contents of Polyspace Platform Project Files and Results Folder
Learn about the various files generated from a Polyspace verification. - Storage of Temporary Files During Polyspace Analysis
Learn where Polyspace stores temporary files during an analysis. - Share Polyspace Platform Projects, Workspaces, and Configurations
Share Polyspace Platform projects with other users or submit projects to version control system.