4
Coverity Scan Static Analysis允许免费查找和修复Java，C / C ++或C＃开源项目中的缺陷。它测试每一行代码和潜在的执行路径。每种缺陷的根本原因都得到了清楚的说明，从而易于修复错误。2006年，美国国土安全部启动了Coverity Scan服务，这是世界上最大的公私部门研究项目，致力于开源软件的质量和安全性。Coverity现在管理该项目，将其开发测试技术作为一项免费服务提供给开源社区，以帮助他们在软件开发过程中建立质量和安全性。...有关使用Coverity的开源项目的列表，请参见：
coverity-scan
分类目录
Linux版Coverity Scan的替代品
20
Cppcheck
Cppcheck是用于C / C ++代码的静态分析工具。与C / C ++编译器和许多其他分析工具不同，它不检测代码中的语法错误。
15
PVS-Studio
PVS-Studio是一种静态分析器，可检测C，C ++和C＃应用程序的源代码中的错误。
2
