1、打开polyspace-bug-finder，新建工程文件：File      New Project，命名，选择保存路径，然后点击Next。

 

2、找到需要检测的文件，然后点击“Add Source Files”     Finish

 

3、在Configuration左边窗口点击“Bug Finder Analysis”选项，然后将“default”改为“all”，其他选项采用默认值。

 

4、导入代码检测规则：在“Configuration”窗口中，打开“Environment Settings”设置项，导入.h文件，如图：

 

5、自动生成测试报告：在“Configuration”窗口中，打开“Reporting”设置项，勾选“Generate report”，选择报告格式等，如图：

 

6、点击运行，等待结果，整理测试报告，详见测试报告示例。

 

7、一般着重“High”和“Medium”类型的错误，点击具体的某项错误，可以看到此代码对应的位置，及错误原因描述。另外，鼠标放在代码中对应的变量上，即可看到其数据类型、范围。