曾经在公众号里不只一次给大家推荐过这个工具和使用方法,通过一张图可以全面了解Polyspace都能帮你做什么,是不是很强大,
目前最新的版本是2016a,有兴趣的可以下载试用版本。让你的代码上Polyspace跑跑,全面支持最新的MISRA标准。是骡子是马,拉出来溜溜,就知道了,也许你会对结果吓一跳,为什么我的代码,polyspace检查不过去?为什么能正常运行的代码,也会报错?为什么,有这么多不可到达代码?等等。Plyspace会以红,橙,灰,绿四色来表明检查出的代码运行时错误。非常醒目,更多好处需要自己去体会,这里不在赘述,倘若你对Polyspace还是一点点都不懂,请关注我们的嵌入式程序猿,会不定期推出培训。谢谢大家关注