Polyspace R2019b 基础的使用方法

1.  新建工程，将路径改为自己建的文件夹路径

2.  添加要扫描的文件

  3.  Poly space分析耗内存，一个模块一个模块的分析

4.Configuration（重点） 

参考文献：2. Polyspace工程Configuaration配置_~QwQ~的博客-CSDN博客

（1）选择编译的语言、编译器、环境：

（2）宏定义： 

（3）环境设置： 

（4） 编译标准/规则

（5） 

（6）根据需要设置

（7）设置精度 

（8）分析报告 

5.  开始扫描

如果中间停了，根据提示修改代码，再扫描