WALA调用图

Question

我对WALA非常陌生，我试图通过一些简单的例子来了解它。我正在为下面这个非常简单的类构建一个调用图

public class Example {
    public static void main(String[] args) {
        int x = 1;
        int y = 1;
        int z = x + y;
        Math.pow(x, y); // issue here
    }
}

我的WALA代码(稍微简化了一些)是：

import com.ibm.wala.ipa.callgraph.*;
import com.ibm.wala.ipa.callgraph.impl.Util;
import com.ibm.wala.ipa.cha.ClassHierarchy;
import com.ibm.wala.util.WalaException;
import com.ibm.wala.util.config.AnalysisScopeReader;
...

AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(jar, null);
ClassHierarchy cha = ClassHierarchy.make(scope);
Iterable<Entrypoint> entryPoints = Util.makeMainEntrypoints(scope, cha);
AnalysisOptions opts = new AnalysisOptions(scope, entryPoints);
AnalysisCache cache = new AnalysisCache();
CallGraphBuilder cgBuilder = Util.makeZeroCFABuilder(opts, cache, cha, scope);
CallGraph cg = cgBuilder.makeCallGraph(opts, null);

当该示例没有调用main中的其他方法，但只挂起其他方法(卡住cgBuilder.makeCallGraph)时，它就能正常工作。

任何建议都是非常感谢的。

Answer 1

以下是一些可能有助于您跑得更快的选项

1)考虑从分析选项中删除reflectionOptions。对于更复杂的代码来说，这不是很好，但是对于基本示例，它可以帮助您这样做。

options.setReflectionOptions(ReflectionOptions.NONE);

2)尝试使用不同的构建器，例如

ZeroXCFABuilder.make(cha, options, cache, null, null,
                ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.CONSTANT_SPECIFIC); 

还有更多的选项，所以请检查ZeroXInstanceKeys，看看您可能愿意使用哪些选项。

3)最后，这可能会给您一个好的运行时间，添加排除

  String exclusionFile = p.getProperty("exclusions");
  AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(appJar, exclusionFile != null ? new File(exclusionFile)

请注意以下排除文件的regex结构

java\/awt\/.*
javax\/swing\/.*
sun\/awt\/.*
sun\/swing\/.*
com\/sun\/.*
sun\/.*

没有空格，每行只有一个条目，等等--这应该会有帮助。