com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXContainerCFABuilder.<init>()方法的使用及代码示例

x33g5p2x  于2022-02-05 转载在 其他  
字(5.1k)|赞(0)|评价(0)|浏览(77)

本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXContainerCFABuilder.<init>()方法的一些代码示例,展示了ZeroXContainerCFABuilder.<init>()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。ZeroXContainerCFABuilder.<init>()方法的具体详情如下:
包路径:com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXContainerCFABuilder
类名称:ZeroXContainerCFABuilder
方法名:<init>

ZeroXContainerCFABuilder.<init>介绍

暂无

代码示例

代码示例来源:origin: com.ibm.wala/com.ibm.wala.core

public static SSAPropagationCallGraphBuilder makeZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope, ContextSelector appSelector, SSAContextInterpreter appInterpreter) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 return new ZeroXContainerCFABuilder(cha, options, cache, appSelector, appInterpreter, ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.SMUSH_MANY | ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS
   | ZeroXInstanceKeys.SMUSH_STRINGS | ZeroXInstanceKeys.SMUSH_THROWABLES);
}

代码示例来源:origin: wala/WALA

public static SSAPropagationCallGraphBuilder makeZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope, ContextSelector appSelector, SSAContextInterpreter appInterpreter) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 return new ZeroXContainerCFABuilder(cha, options, cache, appSelector, appInterpreter, ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.SMUSH_MANY | ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS
   | ZeroXInstanceKeys.SMUSH_STRINGS | ZeroXInstanceKeys.SMUSH_THROWABLES);
}

代码示例来源:origin: wala/WALA

/**
 * @param options options that govern call graph construction
 * @param cha governing class hierarchy
 * @param scope representation of the analysis scope
 * @return a 0-CFA Call Graph Builder augmented with extra logic for containers
 * @throws IllegalArgumentException if options is null
 */
public static SSAPropagationCallGraphBuilder makeZeroContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 ContextSelector appSelector = null;
 SSAContextInterpreter appInterpreter = null;
 return new ZeroXContainerCFABuilder(cha, options, cache, appSelector, appInterpreter, ZeroXInstanceKeys.NONE);
}

代码示例来源:origin: com.ibm.wala/com.ibm.wala.core

/**
 * @param options options that govern call graph construction
 * @param cha governing class hierarchy
 * @param scope representation of the analysis scope
 * @return a 0-CFA Call Graph Builder augmented with extra logic for containers
 * @throws IllegalArgumentException if options is null
 */
public static SSAPropagationCallGraphBuilder makeZeroContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 ContextSelector appSelector = null;
 SSAContextInterpreter appInterpreter = null;
 return new ZeroXContainerCFABuilder(cha, options, cache, appSelector, appInterpreter, ZeroXInstanceKeys.NONE);
}

代码示例来源:origin: wala/WALA

/**
 * @param options options that govern call graph construction
 * @param cha governing class hierarchy
 * @param scope representation of the analysis scope
 * @return a 0-1-CFA Call Graph Builder augmented with extra logic for containers
 * @throws IllegalArgumentException if options is null
 */
public static SSAPropagationCallGraphBuilder makeVanillaZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 ContextSelector appSelector = null;
 SSAContextInterpreter appInterpreter = null;
 options.setUseConstantSpecificKeys(true);
 return new ZeroXContainerCFABuilder(cha, options, cache, appSelector, appInterpreter, ZeroXInstanceKeys.ALLOCATIONS);
}

代码示例来源:origin: com.ibm.wala/com.ibm.wala.core

/**
 * @param options options that govern call graph construction
 * @param cha governing class hierarchy
 * @param scope representation of the analysis scope
 * @return a 0-1-CFA Call Graph Builder augmented with extra logic for containers
 * @throws IllegalArgumentException if options is null
 */
public static SSAPropagationCallGraphBuilder makeVanillaZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 ContextSelector appSelector = null;
 SSAContextInterpreter appInterpreter = null;
 options.setUseConstantSpecificKeys(true);
 return new ZeroXContainerCFABuilder(cha, options, cache, appSelector, appInterpreter, ZeroXInstanceKeys.ALLOCATIONS);
}

相关文章