对Polyspace的几点思考

        小猿曾经在公众号里写过《你的代码敢上Polyspace跑吗》的文章，介绍了下这个工具在代码验证中的应用，文章发布后，有几个猿友还给小猿留言咨询应用配置中的情况，今天工作中，又谈到了这个工具，并且偶然间得知，这个工具价值不菲，国内只有不差钱的公司才会用。关注与Polyspace的优点就不做过多介绍，个人可以到官网下载试用版，如果是公司建议购买正版软件。

今天主要来谈下小猿自己在嵌入式中应用Polyspace的体会

第一 因为国内应用的表较少，可参考的资料更少，尤其是在嵌入式方面的应用，

第二 工程搭建配置复杂尤其是对嵌入式中，不同的芯片，不同的编译器经常在搭建完工程后，编译不能通过，需要修改代码和配置，如对

        Hi-tech编译器中的@不支持，

        对中断关键字不支持，

        对while(1)循环不支持等

需要修改代码，添加宏定义，重新包装中断等修改，才能顺利搭建对嵌入式代码的评估工程，

建议官方可以对主流嵌入式芯片，编译器配置做简单可选，是的用户配置简单易用，

另外一点建议不知道能不能实现对嵌入式中断的支持，不用重新修改包装嵌入式中断代码。

最后一点，能否添加一键导入功能，只需简单配置即可评估原嵌入式工程代码。

Polyspace绝对是一个好工具，如果能很好的支持以上几点思考建议将更加完美，当然以上只代表本人观点，欢迎大家批评指正。