gpt4 book ai didi

com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXCFABuilder.setContextSelector()方法的使用及代码示例

转载 作者:知者 更新时间:2024-03-20 10:16:31 25 4
gpt4 key购买 nike

本文整理了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

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);
}

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com