本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。
在 Polyspace 用户界面中进行 Code Prover 分析
在 Polyspace® 用户界面中检查 C/C++ 代码中是否存在运行时错误
使用 Polyspace 桌面端用户界面配置并运行分析。了解如何创建或更新工程、Polyspace 分析会生成哪些文件，以及如何组织和自定义界面。
主题
快速入门
- 在 Polyspace 用户界面中添加要分析的源文件
使用编译命令或手动添加源文件。 - 在 Polyspace 用户界面中运行静态分析
在桌面端从 Polyspace 用户界面运行 Polyspace 分析。
创建和更新工程
- 在 Polyspace 桌面端用户界面中更新工程
刷新源列表、修改文件夹路径、更改包含文件的顺序以及将文件添加到现有工程。
对工程进行模块化处理
- 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.
文件存储
- Polyspace 分析期间临时文件的存储
了解 Polyspace 在分析期间将临时文件存储在何处。
