我对 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/