用於java字節碼和過程間數據流分析框架的上下文相關調用圖？

Question

在我的項目中，我有兩個問題需要解決。

1： 我需要java（字節碼）的上下文相關調用圖。這裏上下文是方法的調用堆棧，即對於同一方法的不同調用點，調用圖包括方法的兩個副本，區分不同的調用點。 我知道Paddle和Soot可以做到這一點，但Paddle使用的庫僅在win32上可用，我使用Win64作爲其大型內存（在我的項目中是必需的）。 瓦拉可以生成這樣的上下文相關的調用圖嗎？ 我應該使用什麼工具？

2：我想在我的項目中使用跨程序數據流分析框架。 因爲我不專注於這個話題，所以我不知道哪一個是最合適的工具。 我知道Soot已經實現了IFDS/IDE框架（RHS algorithm popl 1995），但它不是上下文敏感的。 WALA也實現了這一點，我正在調查這一點。 我想知道是否存在Java的跨程序數據流分析框架的其他實現。也許jChord也適合我。

有人可以給我一些建議嗎？ 謝謝。 學生波普爾

Answer 1

我已經使用WALA來實現這一點。