在桌面端安装 Polyspace 产品
在桌面端安装 Polyspace® Bug Finder™
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 产品。 - 在产品升级后迁移 Polyspace 工程
在更新 Polyspace 版本后更新选项和处理新的结果。 - 为 Polyspace 产品配置许可证借用
可借用许可证以离线使用 Polyspace。
