Polyspace 编辑
Polyspace是静态程序分析的工具，利用抽象释义的方式进行大规模的分析，可以侦测C语言、C++或是Ada程式的源代码中，是否有特定类型的执行期错误，或是证明没有这类的错误。此工具也可以检查源代码是否符合特定的代码标准。
6
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]