Java靜態分析：入門

Question

嗨我想開始玩Java靜態分析的Java源代碼。作爲一個開始，直接解析我的源代碼樹似乎是最簡單的，但是假設這裏有API。特別是這將是很好，有這使得代碼像這樣的API：

for (MetaClass m : mySourcePackage.getClasses()) 
{ 
     System.out.println(m.getMethods().size()); 
     ... 
} 

當然，對於任何給定的類，你可以使用反射做到這一點 - 但我更感興趣的是靜態分析的整體源代碼包，從頭開始 - 逐個遍歷類（例如，評估諸如測試覆蓋率，最大行數等等）。

是否有任何高質量的開源框架來進行這樣的元分析（或者，是否有可能通過某個類路徑啓動JVM並在JVM內部進行這樣的分析）？

請記住，我並不特別擔心DI和反射等問題（至少現在不在這裏）。

Answer 1

Findbugs可以考慮作爲靜態分析的框架。您可以實施具有特定目標的新探測器。 "How To" tutorial

另外，這裏有一些庫，包括你提到的目標：

• 靜態分析（PMD，Findbugs）
• 代碼覆蓋率（Cobertura）
• 指標（Sonar，JDepend）

More tools/libraries

Answer 2

如果您對代碼的測試覆蓋率的靜態分析感興趣，可以使用用於Eclipse IDE的Cobertura - 和eCobertura插件。

Answer 3

Javalib/Sawja是用於編寫用於Java的靜態分析器的庫，編號爲Caml。

它提供了許多需要靜態分析的基石，包括原語：

• 解析Java字節碼
• 創建和操縱中間表示
• 操縱單個指令，方法，類和整程序
• 句柄類層次結構和控制流算法

文檔是相當不錯的，如果我記得正確的話，發行包括幾個例子，讓你開始。

考慮到所有這些，實現您描述的那種源代碼度量標準應該既快速又簡單。例如，下面是一個簡短的，未經檢驗的片段，其目的是在給定類計數的方法數：

open Sawja_pack 
open Javalib_pack 

let size methodmap = 
    JBasics.MethodMap.fold (fun _ _ count -> count+1) methodmap 0 

let main classname classpath = 
    let interface_or_class = Javalib.get_class classpath (JBasics.make_cn classname) in 
    let all_concrete_methods= Javalib.get_concrete_methods interface_or_class in 
    print_int (size all_concrete_methods); 
    exit 0 

Answer 4

容易出錯的是看另一個很好的工具，它由谷歌和具有非常低的比假陽性，

https://github.com/google/error-prone

的代碼是非常良好的結構，

如你可以看到here如何實現數組相等檢查