在桌面端安装 Code Prover
在桌面端安装 Polyspace® Code Prover™
Polyspace 使用静态分析检查 C/C++ 代码中是否存在 Bug、运行时错误、编码标准违规和其他问题。使用桌面端产品 Polyspace Bug Finder™ 和 Polyspace Code Prover，您可以在提交代码前在个人桌面执行这些检查。
主题
- 安装 Polyspace 桌面端产品
安装 Polyspace Bug Finder 或 Polyspace Code Prover。
- 将 Polyspace 与 MATLAB 和 Simulink 集成
将 Polyspace 与 MATLAB® 和 Simulink® 集成，以标识模型和代码中潜在的 Bug、运行时错误以及编码标准违规。
- 为 Polyspace 产品配置许可证借用 (Polyspace Access)
可借用许可证以离线使用 Polyspace。
- 更新 Polyspace 产品
更新用于桌面端和服务器端安装的 Polyspace 产品。
- 在产品升级后迁移 Polyspace 工程
在更新 Polyspace 版本后更新选项和处理新的结果。
