Splint

💻

Splint

软件

软件描述

Splint 是一个用于静态检查 C 程序中安全漏洞和编码错误的工具。只需少量投入,Splint 即可用作更优的 lint 工具。若进一步投入,在程序中添加注解,Splint 可实现比传统方法更强的检查能力……

官方网站

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

官方认证

splint.org

安全链接HTTPS

什么是 Splint?

Splint 是一个用于静态检查 C 程序中安全漏洞和编码错误的工具。只需少量投入,Splint 即可用作更优的 lint 工具。若进一步投入,在程序中添加注解,Splint 可实现比任何标准 lint 更强的检查能力。

🔄 替代方案

8 个选择
💻

EDoC++

软件

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

免费 • 开源
查看详情
Cppcheck

Cppcheck

软件

Cppcheck 是一个用于 C/C++ 代码的静态分析工具。与 C/C++ 编译器及其他许多分析工具不同,它不检测代码中的语法错误。Cppcheck 主要检测编译器通常无法发现的各类缺陷。

免费 • 开源
查看详情
Shellcheck

Shellcheck

软件

一个用于查找 shell 脚本中错误的简单工具。

免费 • 开源
查看详情
💻

Coverity Scan

软件

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

免费增值 • 专有
查看详情
Flawfinder

Flawfinder

软件

Flawfinder 会检查 C/C++ 源代码,并按风险等级报告可能的安全缺陷(“漏洞”)。它对于在程序广泛发布前快速发现并消除部分潜在安全问题非常有用。

免费 • 开源
查看详情
VisualCodeGrepper

VisualCodeGrepper

软件

VCG 是一款自动化代码安全审查工具,支持 C/C++、Java、C#、VB 和 PL/SQL。它具备若干功能,有望对开展代码安全审查的人士有所帮助,尤其是在时间紧迫的情况下:

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

Parasoft C/C++test

软件

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

付费 • 专有
查看详情
Infer

Infer

软件

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

免费 • 开源
查看详情