在 MATLAB Coder 中进行 Code Prover 分析
验证从 MATLAB® 代码生成的代码
从 MATLAB Coder™ 中的 MATLAB 代码或使用 codegen 生成 C/C++ 代码后，您可以配置 Polyspace® Code Prover™ 以检查生成的代码是否存在运行时错误。
函数
pslinkoptions | Create an options object to customize Polyspace analysis of generated code or custom code in Simulink model |
pslinkrun | Run Polyspace analysis on model, system, or S-Function |
主题
- 对从 MATLAB 代码生成的 C/C++ 代码运行 Polyspace
对生成的代码运行 Polyspace 并检查是否存在运行时错误。
- 为使用 MATLAB Coder 生成的代码配置高级 Polyspace 选项
配置高级 Polyspace 分析选项，例如代码度量计算或编译器选项。
