Coverity

著名的静态代码分析工具。

关键词:静态分析、代码静态分析、代码缺陷、Coverity、Fortify、Klocwork

  • 商品介绍
  • 规格参数
  •  对于代码开发人员,使用Coverity能够帮助您找出代码中的严重缺陷。Coverity的代码分析功能可以全天候检查每一行代码。Coverity先进的静态分析算法可以检测出每种编程语言所特有的严重缺陷。作为开发者的您可以节省不少寻找漏洞的时间,进一步投入到软件开发中。

    1.       精确

    Coverity的特别之处在于查找精确。当许多其他的源代码分析产品以很高的误报率使得其不可用时,Coverity的虚假路径裁剪、统计分析和其它创新减少了误报的产生。附加的配置和微调能够进一步减少误报率。

    2.       速度

    Coverity能够快速对源代码进行分析,不需要写测试用例。每千行代码的平均分析速度仅为10秒钟,百万行的代码仅需要1个小时,其他的工具需要几天,甚至几个星期来分析大规模代码

    3.       深度

    Coverity提供过程间数据流分析和统计分析,评审整个程序的交互和所有的可能的路径,可达100%的路径分析。Coverity检查企业特定的APIs和标志使用中的不一致性,精确的检测Coverity、安全评审和现场会发生的缺陷。

    4.       广度

    Coverity采用查找最严重的错误的最先进的技术,提高您的产品的质量和安全性。Coverity可以检测广泛的严重缺陷,例如系统崩溃、内存泄漏、内存错误、不确定行为、并发缺陷和安全性问题。