5、使用 MATLAB 开启 Polyspace 分析之旅

使用 MATLAB 开启 Polyspace 分析之旅

1. 前置要求

在从 MATLAB 命令窗口运行 Polyspace 分析之前，需要将 Polyspace 与 MATLAB 集成。

2. 使用 MATLAB 运行 Polyspace 分析

要分析手写的 C 代码，可以通过在 MATLAB 命令窗口或 MATLAB 编辑器中配置并启动 Polyspace 分析来实现。具体步骤如下：
1. 创建 polyspace.Project 对象 ：

psPrj = polyspace.Project;

2. 指定源文件和头文件路径 ：

% Create the Path to source and header files
sourceFile = fullfile(polyspaceroot, 'polyspace', ... 
    'examples', 'cxx', 'Bug_Finder_Example', 'sources', 'numerical.c');
includeFolder = fullfile(polyspaceroot, 'polyspace', ... 
    'examples', 'cxx', 'Bug_Finder_Example', 'sources');