在桌面端设置 Code Prover 分析
在 Polyspace® 用户界面中或使用脚本检查 C/C++ 代码中是否存在运行时错误
配置并运行 Polyspace Code Prover™ 来检查代码是否存在运行时错误。可以通过以下方式来配置并运行 Polyspace：
Polyspace 用户界面中的一个工程。
Windows® 或 Linux® 脚本。
MATLAB® 脚本。
类别
- 在 Polyspace 用户界面中进行 Code Prover 分析
在 Polyspace 用户界面中检查 C/C++ 代码中是否存在运行时错误
- 在 Polyspace 平台用户界面中进行 Code Prover 分析
在 Polyspace 平台用户界面中检查 C/C++ 代码中是否存在缺陷
- 通过 Windows 或 Linux 脚本进行 Code Prover 分析
使用批处理文件 (.bat) 或 shell 脚本 (.sh) 检查 C/C++ 代码中是否存在运行时错误
- 使用 MATLAB 脚本进行 Code Prover 分析
使用 MATLAB M 文件检查 C/C++ 代码中是否存在缺陷
- 在 Simulink 中进行 Code Prover 分析
验证导入到 Simulink® 模型中的代码以及从中生成的代码
- 在集群上进行 Code Prover 分析
在远程集群上检查 C/C++ 代码中是否存在运行时错误
- 在 MATLAB Coder 中进行 Code Prover 分析
验证从 MATLAB 代码生成的代码
- 对 AUTOSAR 代码进行 Code Prover 分析
验证 AUTOSAR 软件组件的代码实现。
