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
