在 Polyspace 用户界面中进行 Code Prover 分析
在 Polyspace® 用户界面中检查 C/C++ 代码中是否存在运行时错误
使用 Polyspace 桌面端用户界面配置并运行分析。了解如何创建或更新工程、Polyspace 分析会生成哪些文件，以及如何组织和自定义界面。
主题
快速入门
- 在 Polyspace 用户界面中添加要分析的源文件
使用编译命令或手动添加源文件。 - 在 Polyspace 用户界面中运行静态分析
在桌面端从 Polyspace 用户界面运行 Polyspace 分析。
创建和更新工程
- Create Polyspace Projects from Visual Studio Build
Specify source files and some analysis options by tracing your Visual Studio® build. - Create Project in Polyspace Desktop User Interface Using Configuration Template
Create Polyspace project using predefined configuration, export configuration for sharing and reuse. - 在 Polyspace 桌面端用户界面中更新工程
刷新源列表、修改文件夹路径、更改包含文件的顺序以及将文件添加到现有工程。
对工程进行模块化处理
- Modularize Large Projects in Polyspace Desktop User Interface
Break down project in Polyspace user interface into smaller modules for faster module verification. - 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.
文件存储
- Contents of Polyspace Project and Results Folders
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.
Polyspace 用户界面
- Organize Layout of Polyspace Desktop User Interface
Reorganize the arrangement of windows, save your organization and switch to the saved layout in one click. - Customize Polyspace Desktop User Interface
Customize the default behavior of Polyspace user interface, for instance, default project storage locations or font size.
