Infer
【Facebook 出品】用于验证代码正确性的现代静态分析工具。
Star：11.8k
官网：https://github.com/facebook/infer
Sourcetrail
可视源代码导航器。
Star：9.2k
官网：https://github.com/CoatiSoftware/Sourcetrail
Checkstyle
编码约定和标准的静态分析。
Star：5.6k
官网：https://github.com/checkstyle/checkstyle
ErrorProne
【 出品】将常见的编程错误捕获为编译时错误。
Star：5.4k
官网：https://github.com/google/error-prone
PMD
用于发现不良编码实践的源代码分析。
Star：3.1k
官网：https://github.com/pmd/pmd
NullAway
【Uber 出品】以低的构建时间开销消除NullPointerException。
Star：2.8k
官网：https://github.com/uber/NullAway
Spotbugs
字节码的静态分析，以查找潜在的错误。
Star：2.1k
官网：https://github.com/spotbugs/spotbugs
Spoon
用于分析和转换源代码的库。
Star：1k
官网：https://github.com/INRIA/spoon
SonarJava
SonarQube和SonarLint的静态分析器。
Star：702
官网：https://github.com/SonarSource/sonar-java
jQAssistant
使用基于Neo4J的查询语言进行静态代码分析。【拥有 Spring 等多项插件】
官网：https://github.com/jqassistant
胜象大百科
