运行 Code Prover
在 Polyspace® 平台用户界面中、使用脚本或从其他环境中检查 C/C++ 代码中是否存在运行时错误
运行 Polyspace Code Prover™ 以详尽检查 C/C++ 代码是否存在运行时错误。
您可以在将源代码添加到 Polyspace 平台工程后运行 Code Prover，也可以使用脚本执行自动运行。如果您从 MATLAB® 代码或 Simulink® 模型生成 C/C++ 代码，则可以直接从这些环境中运行 Code Prover。
类别
- 在 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 软件组件的代码实现
