Question

我想为某些Java字节码生成IR。由于其他原因，我正在使用的项目将Wala用作静态分析工具。我需要做的步骤之一是为给定的兴趣范围创建类层次结构。现在看来，类层次结构的创建是一个昂贵的过程，因此，如果我需要重复调用它，则特别希望将其最小化。

我试图通过使用AnalysisScopeReader.readJavaScope(...)来缩小类层次结构的范围，其中我指定了一个范围文件，该范围文件仅包含一个条目，主要是我要分析的类，该文件是使用{{1}加载的}加载程序。但是，这似乎不起作用，因为出现了Application错误。似乎Wala也希望在范围文件中也有com.ibm.wala.ipa.cha.ClassHierarchyException: failed to load root <Primordial,Ljava/lang/Object> of class hierarchy，因此它可以找到jre.jar。但这是有问题的，因为如果我在范围文件中添加一行，则类层次结构的创建将包含许多我将不使用的类，而我不想在上面花费时间或内存。

似乎人们也在为此问题here苦苦挣扎，但从未得到解决。

具体来说，这就是我要做的

Ljava/lang/Object

我真的不想/不需要在分析中创建类层次结构，我没有使用任何调用图分析。我只需要为要分析的单个类创建IR，而不必为创建我将不使用的类的层次结构付费。或者至少，我希望类层次结构包含我当前正在分析的单个文件。

似乎scope2 = AnalysisScopeReader.readJavaScope(somePath, null, urlcl); cha = ClassHierarchyFactory.makeWithRoot(scope2);几乎可以工作，除了它仍然需要ClassHierarchyFactor.makeWithRoot()类用于缺少的超类，这意味着我需要将Java lang类层次结构添加到分析中。

这里的解决方案（How to get rid of the unrelated classes when using WALA to analyze Java bytecode?）似乎是一种破解，而不是一种修复。

我不确定是否有办法做到这一点，有人可以帮忙吗？无论如何，在Wala中，我可以为单个类获取ssa IR，而不必构建如此大的Java lang类层次结构的类层次结构？

非常感谢！

Answer 1

以下内容应该使您为单个targetClass

拥有最小的类层次结构

  private ClassHierarchy getClassHierarchy(Class<?> targetClass) {
    AnalysisScope scope = getAnalysisScope(targetClass);
    return ClassHierarchyFactory.makeWithRoot(scope);
  }

其中

private AnalysisScope getAnalysisScope(Class<?> targetClass) {
    String targetFile = targetClass.getResource(targetClass.getSimpleName() + ".class").getFile();

    FileSystem fs = FileSystems.getFileSystem(URI.create("jrt:/"));
    byte[] bytes = Files.readAllBytes(fs.getPath("modules", "java.base", "java/lang/Object.class"));
    Path path = Path.of(System.getProperty("user.dir"), "target", "test-classes", "Object.class");
    Files.write(path, bytes);

    AnalysisScope scope = AnalysisScope.createJavaAnalysisScope();
    scope.addClassFileToScope(ClassLoaderReference.Primordial, path.toFile());
    scope.addClassFileToScope(ClassLoaderReference.Application, new File(targetFile));

    return scope;
}

约束Wala的班级等级吗？

1 个答案: