Infer
【Facebook 出品】用于驗(yàn)證代碼正確性的現(xiàn)代靜態(tài)分析工具。
Star：11.8k
官網(wǎng)：https://github.com/facebook/infer
Sourcetrail
可視源代碼導(dǎo)航器。
Star：9.2k
官網(wǎng)：https://github.com/CoatiSoftware/Sourcetrail
Checkstyle
編碼約定和標(biāo)準(zhǔn)的靜態(tài)分析。
Star：5.6k
官網(wǎng)：https://github.com/checkstyle/checkstyle
ErrorProne
【google 出品】將常見的編程錯誤捕獲為編譯時(shí)錯誤。
Star：5.4k
官網(wǎng)：https://github.com/google/error-prone
PMD
用于發(fā)現(xiàn)不良編碼實(shí)踐的源代碼分析。
Star：3.1k
官網(wǎng)：https://github.com/pmd/pmd
NullAway
【Uber 出品】以低的構(gòu)建時(shí)間開銷消除NullPointerException。
Star：2.8k
官網(wǎng)：https://github.com/uber/NullAway
Spotbugs
字節(jié)碼的靜態(tài)分析，以查找潛在的錯誤。
Star：2.1k
官網(wǎng)：https://github.com/spotbugs/spotbugs
Spoon
用于分析和轉(zhuǎn)換JAVA源代碼的庫。
Star：1k
官網(wǎng)：https://github.com/INRIA/spoon
SonarJava
SonarQube和SonarLint的靜態(tài)分析器。
Star：702
官網(wǎng)：https://github.com/SonarSource/sonar-java
jQAssistant
使用基于Neo4J的查詢語言進(jìn)行靜態(tài)代碼分析。【擁有 Spring 等多項(xiàng)插件】
官網(wǎng)：https://github.com/jqassistant
