Coverity Scan

💻

Coverity Scan

软件

软件描述

Coverity Scan静态分析可免费帮助您发现并修复Java、C/C++或C#开源项目中的缺陷。

官方网站

访问软件的官方网站了解更多信息

官方认证

scan.coverity.com

安全链接HTTPS

什么是 Coverity Scan?

Coverity Scan静态分析可免费帮助您发现并修复Java、C/C++或C#开源项目中的缺陷。它会测试每一行代码及潜在的执行路径,每个缺陷的根本原因都有清晰说明,便于快速修复问题。

2006年,Coverity Scan服务启动,由美国国土安全部主导,成为全球规模最大的公私合作研究项目之一,专注于开源软件的质量与安全。如今,Coverity负责管理该项目,向开源社区免费提供其开发测试技术,助力开发者在软件开发流程中融入质量与安全。

有关使用Coverity的开源项目列表,请参见: https://scan.coverity.com/projects

🔄 替代方案

17 个选择
💻

EDoC++

软件

EDoC++ 是一款用于分析 C++ 源代码的工具,旨在识别与 C++ 代码中异常使用相关的问题。此外,EDoC++ 还可用于生成详细的文档。

免费 • 开源
查看详情
Opengrep

Opengrep

软件

我们很高兴推出 Opengrep,这是一个开源的静态代码分析引擎,旨在确保代码安全测试始终真正开放且对所有人可访问。🚀

免费 • 开源
查看详情
Qodana

Qodana

软件

Qodana 是由 JetBrains 推出的智能代码质量平台,非常适合团队协作使用。它可分析 60 多种编程语言的代码,包括 Java、JavaScript、TypeScript、PHP、Kotlin、Python、Go 和 C#。

付费 • 专有
查看详情
Semgrep

Semgrep

软件

Semgrep 是一款快速、开源的静态分析工具,能够轻松表达代码规范——无需复杂的查询——并在编辑器、提交和 CI 时尽早发现缺陷。精确的规则看起来就像您要搜索的代码;无需再遍历抽象语法树……

免费增值 • 开源
查看详情
Parasoft C/C++test

Parasoft C/C++test

软件

Parasoft的C/C++test是嵌入式安全关键行业全面集成的软件测试解决方案。其自动化软件测试功能同样适用于当今高速度的敏捷DevOps环境。

付费 • 专有
查看详情
DefenseCode ThunderScan®

DefenseCode ThunderScan®

软件

DefenseCode ThunderScan® 是一款 SAST(静态应用安全测试,白盒测试)解决方案,用于对应用程序源代码进行深度和全面的安全分析。

付费 • 专有
查看详情
Yetus

Yetus

软件

Apache Yetus 是一组库和工具,用于支持软件项目的贡献和发布流程。

免费 • 开源
查看详情
Infer

Infer

软件

Facebook Infer 是一个静态分析工具——如果你提供一些 Objective-C、Java 或 C 代码,它会生成一份潜在错误的列表。

免费 • 开源
查看详情
上一页下一页