1. 新建工程,将路径改为自己建的文件夹路径
2. 添加要扫描的文件
3. Poly space分析耗内存,一个模块一个模块的分析
4.Configuration(重点)
参考文献:2. Polyspace工程Configuaration配置_~QwQ~的博客-CSDN博客
(1)选择编译的语言、编译器、环境:
(2)宏定义:
(3)环境设置:
(4) 编译标准/规则
(5)
(6)根据需要设置
(7)设置精度
(8)分析报告
5. 开始扫描
如果中间停了,根据提示修改代码,再扫描