在 MATLAB Coder 中进行 Code Prover 分析

R2026a

验证从 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