本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXCFABuilder.setContextSelector()
方法的一些代码示例,展示了ZeroXCFABuilder.setContextSelector()
的具体用法。这些代码示例主要来源于Github
/Stackoverflow
/Maven
等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。ZeroXCFABuilder.setContextSelector()
方法的具体详情如下:
包路径:com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXCFABuilder
类名称:ZeroXCFABuilder
方法名:setContextSelector
暂无
代码示例来源:origin: wala/WALA
public ZeroXCFABuilder(Language l, IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache, ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter, int instancePolicy) {
super(l.getFakeRootMethod(cha, options, cache), options, cache, new DefaultPointerKeyFactory());
ContextSelector def = new DefaultContextSelector(options, cha);
ContextSelector contextSelector = appContextSelector == null ? def : new DelegatingContextSelector(appContextSelector, def);
setContextSelector(contextSelector);
SSAContextInterpreter c = new DefaultSSAInterpreter(options, cache);
c = new DelegatingSSAContextInterpreter(ReflectionContextInterpreter.createReflectionContextInterpreter(cha, options,
getAnalysisCache()), c);
SSAContextInterpreter contextInterpreter = appContextInterpreter == null ? c : new DelegatingSSAContextInterpreter(
appContextInterpreter, c);
setContextInterpreter(contextInterpreter);
ZeroXInstanceKeys zik = makeInstanceKeys(cha, options, contextInterpreter, instancePolicy);
setInstanceKeys(zik);
}
代码示例来源:origin: com.ibm.wala/com.ibm.wala.core
public ZeroXCFABuilder(Language l, IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache, ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter, int instancePolicy) {
super(l.getFakeRootMethod(cha, options, cache), options, cache, new DefaultPointerKeyFactory());
ContextSelector def = new DefaultContextSelector(options, cha);
ContextSelector contextSelector = appContextSelector == null ? def : new DelegatingContextSelector(appContextSelector, def);
setContextSelector(contextSelector);
SSAContextInterpreter c = new DefaultSSAInterpreter(options, cache);
c = new DelegatingSSAContextInterpreter(ReflectionContextInterpreter.createReflectionContextInterpreter(cha, options,
getAnalysisCache()), c);
SSAContextInterpreter contextInterpreter = appContextInterpreter == null ? c : new DelegatingSSAContextInterpreter(
appContextInterpreter, c);
setContextInterpreter(contextInterpreter);
ZeroXInstanceKeys zik = makeInstanceKeys(cha, options, contextInterpreter, instancePolicy);
setInstanceKeys(zik);
}
内容来源于网络,如有侵权,请联系作者删除!