Coverity静态分析工具

发布时间:2016-12-11 16:11:31 编辑:www.fx114.net 分享查询网我要评论
本篇文章主要介绍了"Coverity静态分析工具",主要涉及到Coverity静态分析工具方面的内容,对于Coverity静态分析工具感兴趣的同学可以参考一下。

来自:http://www.autosoft.com.cn/en/Newsinfo.aspx?Language=1&faid=70&contentId=441 2010年底,华为公司正式部署了静态分析工具Coverity Static Analysis,用以快速、准确的查找高复杂度代码中的缺陷问题。华为从小范围使用Coverity Static Analysis到全公司部署该工具,只用了一年时间。Coverity产品为华为解决了影响源代码分析有效性的很多关键问题,如:构建集成、编译兼容性、高误报率、有效的错误根源分析等。   Coverity公司是由一流的斯坦福大学的科学家于2002年成立的,向用户提供最先进的和可配置的用于检测软件缺陷和安全隐患的静态源代码分析解决方案。Coverity是唯一位列IDC前10名软件质量工具供应商的静态分析工具厂商,被第三方权威调查机构VDC评为静态源代码分析领域的领导者,目前拥有1100多家用户,市场占有率处于绝对领先地位。 ---- Coverity亚太区运营副总裁Rich Cerruto表示,传统的测试方法早已无法适应当前软件的复杂性,Coverity公司推出的综合开发测试平台,基于新一代的不做代码规则检查、只专注检测代码中的Bug静态分析技术,可以更好地帮助开发人员在写代码的时候就能发现并修复安全缺陷,缩短产品上市时间和降低风险。 Rich表示,Coverity可以帮助开发者在软件生命周期早期发现漏洞并完成修复。

上一篇:postgres-9.3 beta2安装
下一篇:有限状态机的嵌入式Linux按键驱动设计(转载)

相关文章

相关评论