![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
Life
ioripolo
这个作者很懒,什么都没留下…
展开
-
开卷有益
第一篇,没啥说的,找个地方写点东西。 就在CSDN吧原创 2010-03-16 19:50:00 · 291 阅读 · 0 评论 -
Coverity创业
一个大客户打电话给Coverity,说:"Why is it when I run your tool, I have to reinstall my Linux distribution from CD?" 原因是该公司的make使用了一种比较特殊的形式来输出目录的绝对路径,使得Coverity错误地通过“cd”进入系统的顶层目录,然后在清除临时文件时运行“rm -rf *”,当然同原创 2010-04-20 16:52:00 · 536 阅读 · 0 评论 -
Coverity Prevent 3.0 Pathway
The integrated Checker会自动为每个函数分析产生模型,其中总结了该函数在过程间错误检测中的影响。有时不是被调用函数的所有代码都可以进行分析,例如库函数通常不需要处理源代码就会进行连接。标准C库,Unix系统调用API,Windows API就是这样的例子。当Integrated Checker运行时,每个函数的模型生成为XML文件并放在emit目录。由cov-analy翻译 2010-05-18 07:39:00 · 1131 阅读 · 1 评论