MATLABCoder 中的 Bug Finder 分析
检查从 MATLAB® 代码生成的 C/C++ 代码中是否存在缺陷
对使用 MATLAB Coder™ 基于 MATLAB 代码生成的 C/C++ 代码运行 Polyspace® 分析。
函数
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 分析选项，例如代码度量计算或编译器选项。
- 默认为生成的代码启用 Polyspace Bug Finder 缺陷检查项
查找在分析生成的代码时默认启用的 Bug Finder 检查项列表。
精选示例
Generate MISRA C:2012 Compliant Code and Verify with Polyspace
Generate MISRA compliant code and verify using static analysis.
