java - WALA通话图

我是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）时，它可以正常工作。

任何建议深表感谢。

最佳答案

这里有一些选项可能会帮助您加快运行速度

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)

请注意排除文件的以下正则表达式结构

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

没有空格，每行一次输入，等等。
这应该有所帮助

关于java - WALA通话图，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/36188478/