主要内容

Polyspace 平台用户界面中的 Bug Finder 分析

在 Polyspace® 平台用户界面中检查 C/C++ 代码中是否存在缺陷

Polyspace 平台是一个集成环境,支持使用 Polyspace 产品对 C/C++ 代码进行静态分析和动态测试。在 Polyspace 平台用户界面中,您可以创建工程、添加源文件、配置检查项并运行 Bug Finder 分析。

工具

Polyspace 平台设置Settings for Polyspace Platform user interface (自 R2024b 起)

主题

快速入门

创建和更新工程

运行分析并打开结果

配置工程

文件存储

经典 Polyspace 用户界面中的变化

相关信息