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
【google 出品】将常见的编程错误捕获为编译时错误。
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
用于分析和转换JAVA源代码的库。
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