静态代码分析工具清单

SAST，即静态应用程序安全测试，通过静态代码分析工具对源代码进行自动化检测，从而快速发现源代码中的安全缺陷。

本文是一个静态源代码分析工具清单，收集了一些免费开源的项目，可从检测效率、支持的编程语言、第三方工具集成等几因素来综合考虑如何选择SAST工具。

1、RIPS

一款不错的静态源代码分析工具，主要用来挖掘PHP程序的漏洞。

项目地址：

http://rips-scanner.sourceforge.net

2、SonarQube

一款企业级源代码静态分析工具，支持Java、PHP、C#、Python、Go等27种编程语言，而且能够集成在IDE、Jenkins、Git等服务。

项目地址：

https://www.sonarqube.org

3、CodeQL

一个免费开源的语义代码分析引擎和查询工具，以一种非常新颖的方式组织代码与元数据，可以通过像SQL查询一样检索代码，并发现其中的安全问题。

git项目地址：

https://github.com/github/codeql-cli-binaries

4、Find Security Bugs

一个用于 Java Web 应用程序安全审计的 SpotBugs 插件。

项目地址：

https://find-sec-bugs.github.io/

5、VCG(VisualCodeGrepper)

一种适用于 C++、C#、VB、PHP、Java、PL/SQL 和 COBOL 的自动化代码安全审查工具。

项目地址：

https://sourceforge.net/projects/visualcodegrepp/

6、FindBugs

一款静态分析工具，检查程序潜在bug，在bug报告中快速定位到问题的代码上。

项目地址：

http://findbugs.sourceforge.net

7、Cobra

一款源代码安全审计工具，支持检测多种开发语言源代码中的大部分显著的安全问题和漏洞。

项目地址：

https://github.com/WhaleShark-Team/cobra

8、Hades

一个静态代码脆弱性检测系统，支持java源码的审计

项目地址：

https://github.com/zsdlove/Hades

9、Bandit

一个专门用于查找Python代码中常见安全问题的工具。

github项目地址：

https://github.com/PyCQA/bandit

10、Brakeman

一个免费的漏洞扫描器，专门为 Ruby on Rails 应用程序设计。它静态分析 Rails 应用程序代码，以在开发的任何阶段查找安全问题。

项目地址：

https://brakemanscanner.org