相关呼叫分析
该项目的目标是通过相关调用消除不可行的路径,从而使 Java 程序的数据流分析更加精确。 如果在同一个接收器对象上调用两个方法调用,则认为它们是相关的。
该分析依赖于 [1] 中描述的过程间分布式环境 (IDE) 数据流分析算法。
[1] Sagiv、Mooly、Thomas Reps 和 Susan Horwitz。 。 斯普林格柏林海德堡,1995 年。
项目
概述
分析的代码是用编写的。 我们的分析依赖于 ,这是一个对用 Java 编写的 Java 字节码进行静态分析的库。 为了方便在 Scala 中使用 WALA,我们使用库。 为了能够将我们自己的修改添加到 WALAFacade,我们在这个项目中包含了它的源代码。
因此,我们的分析代码在ca.uwaterloo.dataflow包中,而 WALAFacade 代码,经过一些小的修改,在edu.illinois.
2021-06-03 18:06:06
111.79MB
Java
1