1、Polyspace Code Prover桌面分析使用指南

Polyspace Code Prover桌面分析使用指南

1. 产品概述

Polyspace Code Prover包含以下产品：
- Polyspace Code Prover™
- Polyspace Code Prover Server™
- Polyspace Access™

根据Code Prover运行的设置方式，分析可以从以下两个位置进行：
| 运行位置 | 对应产品及操作 |
| ---- | ---- |
| 桌面 | 使用Polyspace Code Prover在桌面运行分析并查看结果。相关桌面工作流程可参考“Configure Analysis on Desktop”或“Review Results in Polyspace User Interface”。 |
| 服务器 | 使用Polyspace Code Prover Server在服务器上运行分析，使用Polyspace Access托管分析结果（可在网页浏览器中查看）。服务器相关工作流程可参考“Configure Analysis on Server”或“Review Results on Web Browser”。 |

Code Prover分析引擎是所有Code Prover产品的基础，未提及特定平台的章节通常描述的是底层的Code Prover分析引擎，适用于两个平台。

2. 桌面运行Polyspace分析

2.1 添加源文件进行分析

要开始Polyspace分析，必须指定源文件和头文件的路径。可以通过以下几种方式添加源文件：
-