java字节码和过程间数据流分析框架的上下文敏感调用图？

Question

在我的项目中，我有两个问题需要解决。

1： 我需要一个java（字节码）的上下文敏感调用图。 这里的上下文是该方法的调用堆栈，即，对于同一方法的不同调用点， 调用图包括方法的两个副本，区分不同的调用点。 我知道Paddle和Soot可以做到这一点，但Paddle使用的库只能在win32上使用，我使用Win64来获取大量内存（在我的项目中是必需的）。 wala可以生成这样的上下文敏感的调用图吗？ 我应该使用哪些工具？

2：我想在我的项目中使用程序间数据流分析框架。 由于我没有专注于这个主题，我不知道哪一个是最合适的工具。 我知道Soot已经实现了IFDS / IDE框架（RHS算法popl 1995），但它不是上下文敏感的。 WALA也实现了这一点，我正在研究这个问题。 我想知道是否存在Java的过程间数据流分析框架的其他实现。也许jChord也适合我。

有人可以给我一些建议吗？ 谢谢。 学生波普尔

Answer 1

我用WALA来实现这个目标。