Coverity-达信通成科技

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

1. 精确

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

2. 速度

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

3. 深度

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

4. 广度

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