谢谢楼主 领了

谢谢楼主，先学习一下

PolySpace是在源代码阶段做运行时错误检查的工具。其功能决不是简单的检查数组越界等运行时错误。
它采用抽象执行的方法，既能对代码做覆盖度检查，又能检查出运行时错误，并且能告知用户错误的原因。
PolySpace能对复杂的函数调用、函数嵌套、递归调用等做出分析，也能对多任务共享变量访问等作出分析。

目前PolySpace的效率是15分钟/千行代码，这个效率应该是很高的了！要是用人来检查1000行代码，1天估计是检查不完的吧。

[ 本帖最后由 OrientMaple 于 2006-8-21 11:50 编辑 ]

楼主辛苦啦

这个工具的报价在15W美金左右吧,是很贵,虽然很好用

thanks!
新手，刚刚开始，发现了这个网站，无疑于太阳。

谢谢楼主，已经下载。

谢谢，顶一下

谢谢楼主，已经下载。

8错8错

猜到就是PolySpace了
PolySpace运行速度很快，而且可以在远程服务器上运行，你可以在下班之后让它运行，第二天再来检查结果；所以时间不是问题
但真正使用起来也不轻松
它给出的分析结果还是要一条条的经过人的验证，因为它给的测试条件很严格，很多不是错误的地方也报错，还有就是嵌入式很多地方是需要接受硬件的端口值的地方，也常常报错。。。

[ 本帖最后由 windone 于 2007-5-10 11:40 编辑 ]

谢谢，写的很好，让我收获不少。

不知道,怎么样 ?先学习学习.再说.还有人知道野指针的检查方法.有什么算法吗?

先学习学习

好啊！我要我要！

不错的!^_^多谢了, 继续努力亚!

ding

下载下来看了一下，该软件主要讲PolySpace，但此软件对于偶不实用。但还是感谢楼主提供资料

04年用这个工具时，还是在linux环境下使用的，及其难掌握。分析一个4千多行的程序，最长的时候分析一个小时就出错停止了，最后不得不放弃。现在据说在windows环境下的版本速度也快了不少，而且在使用方法上也作了很大的改进，但还没用过。

3Q,感谢ING……………………