为了改善我们的静态代码分析的方法论,以及改进我们的静态分析工具PVS-Studio,我们会定期地用他们验证各种各样的开源项目。我们找到了很多bug,事实证明,再牛的人也会拼写错误 / 注意力不集中,没有人能保证不犯错。即便是在Microsoft Code Contracts, Qt, Linux kernel, CryEngine, VirtualBox, LibreOffice, Firefox, Boost, Tor这些项目里,依旧如此。目前我们检测了262个项目,都是官方发布版!我们一共记录了10000个bug!

作为一个惯例,如果我们在一个项目中找到比较多的bug,我们就会写一篇文章描述这些bug。你可以在这个链接看到我们写的文章:http://www.viva64.com/en/inspections/ 。如果bug很少,我们就直接跟项目的贡献者说,让他们来处理。

当然,262个项目中找到10000个bug其实并不多,平均每个项目只有38个。但是值得注意的是,这些项目的质量差别也很大,有的项目只发现一个bug,而另外一些则包含上百个bug。

另外需要注意的是,我们的主要目的是提升自己的方法论和工具,并不是要找出尽量多的bug。我们需要找出很多有趣的例子来写文章,所以实际的bug数量应该是多于这个数目的。所以我总是奉劝为项目贡献代码的人好好测试一下自己的代码,避免提交太多的bug。在分析的时候,找到那些不可重现的bug更能够体现查错工具的优越性,但是对实际项目却没什么用,因为不可重现往往意味着无法修正。静态分析工具很重要的功能就是能够定期运行,这样它就能够在程序员编写的过程中纠错,而不是已经调试了50个小时之后才发现错误,或者等用户开始抱怨了才发现错误。

好,是时候给大家看看我们发现的10000个bug了,通过下面链接查看:

http://www.viva64.com/en/examples/

这些bug可以帮助大家完善自己团队的编码标准,给编程技巧文章提供材料,辅助提高软件可靠性的研究,等等。

余下全文(1/3)

本文最初发表在微信公众号,文章内容属作者个人观点,不代表本站立场。

分享这篇文章:

请关注我们:

发表评论

电子邮件地址不会被公开。 必填项已用*标注