PVS-Studio

Cppcheck

软件

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

Axivion Suite

软件

Axivion Suite 包含静态代码分析、架构分析以及识别技术债的工具，以保持软件项目的可维护性。

Shellcheck

软件

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

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

VisualCodeGrepper

软件

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

Parasoft C/C++test

软件

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

Clang静态分析器是一种源代码分析工具，用于发现C、C++和Objective-C程序中的错误。

Infer

软件

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