4

我刚开始使用 Wala Java Slicer 做一些源代码分析任务。我对图书馆的正确使用有疑问。假设我有以下示例代码：

public void main(String[] args) {
    ...
    UserType ut = userType;
    int i = ut.getInt();
    ...
    System.out.println(i);
}

用 Wala计算语句的切片println给出以下语句：

NORMAL_RET_CALLER:Node: < Application, LRTExecutionClass, main([Ljava/lang/String;)V > Context: Everywhere[15]13 = invokevirtual < Application, LUserType, getInt()I > 11 @27 exception:12
NORMAL main:23 = getstatic < Application, Ljava/lang/System, out, <Application,Ljava/io/PrintStream> > Node: < Application, LRTExecutionClass, main([Ljava/lang/String;)V > Context: Everywhere
NORMAL main:invokevirtual < Application, Ljava/io/PrintStream, println(I)V > 23,13 @63 exception:24 Node: < Application, LRTExecutionClass, main([Ljava/lang/String;)V > Context: Everywhere

我使用 Wala 创建切片的代码如下所示：

AnalysisScope scope = AnalysisScopeReader.readJavaScope("...", 
                            null, WalaJavaSlicer.class.getClassLoader());
ClassHierarchy cha = ClassHierarchy.make(scope);

Iterable<Entrypoint> entrypoints = Util.makeMainEntrypoints(scope, cha);
AnalysisOptions options = new AnalysisOptions(scope, entrypoints);

// Build the call graph
CallGraphBuilder cgb = Util.makeZeroCFABuilder(options, new AnalysisCache(),cha, scope, null, null);
CallGraph cg = cgb.makeCallGraph(options, null);
PointerAnalysis pa = cgb.getPointerAnalysis();

// Find seed statement
Statement statement = findCallTo(findMainMethod(cg), "println");

// Context-sensitive thin slice
Collection<Statement> slice = Slicer.computeBackwardSlice(statement, cg, pa, DataDependenceOptions.NO_BASE_NO_HEAP, ControlDependenceOptions.NONE);
dumpSlice(slice);

我希望在切片中找到许多语句但不存在：

  • ut = userType即使从属方法调用ut.getInt()IS 包含在切片中，assign 语句也不包含在内
  • 不包括来自实现的语句getInt()。是否有激活“程序间”切片的选项？我应该在这里提到 .class 文件包含在用于创建 .class 文件的路径中AnalysisScope。

如您所见，我使用DataDependenceOptions.NO_BASE_NO_HEAPandControlDependenceOptions.NONE作为依赖选项。但即使我同时使用FULL两者，问题仍然存在。

我究竟做错了什么？

4

1 回答 1

1

即使依赖方法调用 ut.getInt() 也不包括 assign 语句 ut = userType，IS 包含在切片中

我怀疑赋值永远不会进入字节码，因为它是一个不需要的局部变量，因此对 WALA 不可见：

由于 SSA IR 已经进行了一定程度的优化，因此一些语句（例如简单赋值 (x=y, y=z)）不会出现在 IR 中，这是由于 SSABuilder 类在 SSA 构建期间自动完成的复制传播优化。其实没有SSA赋值指令；此外，javac 编译器可以自由地进行这些优化，因此这些语句甚至可能不会出现在字节码中。因此，这些 Java 语句将永远不会出现在切片中。

http://wala.sourceforge.net/wiki/index.php/UserGuide:Slicer#Warning:_exclusion_of_copy_statements_from_slice

于 2015-10-05T13:36:30.030 回答