gpt4 book ai didi

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

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

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

ZeroXCFABuilder.make介绍

暂无

代码示例

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

/**
 * @param options options that govern call graph construction
 * @param cha governing class hierarchy
 * @param scope representation of the analysis scope
 * @param customSelector user-defined context selector, or null if none
 * @param customInterpreter user-defined context interpreter, or null if none
 * @return a 0-CFA Call Graph Builder.
 * @throws IllegalArgumentException if options is null
 */
public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 return ZeroXCFABuilder.make(l, cha, options, cache, customSelector, customInterpreter, 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
 * @param customSelector user-defined context selector, or null if none
 * @param customInterpreter user-defined context interpreter, or null if none
 * @return a 0-CFA Call Graph Builder.
 * @throws IllegalArgumentException if options is null
 */
public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 return ZeroXCFABuilder.make(l, cha, options, cache, customSelector, customInterpreter, 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
 * @param customSelector user-defined context selector, or null if none
 * @param customInterpreter user-defined context interpreter, or null if none
 * @return a 0-1-CFA Call Graph Builder.
 * @throws IllegalArgumentException if options is null
 */
public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView analysisCache,
  IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 return ZeroXCFABuilder.make(l, cha, options, analysisCache, customSelector, customInterpreter, ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.CONSTANT_SPECIFIC);
}

代码示例来源: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
 * @param customSelector user-defined context selector, or null if none
 * @param customInterpreter user-defined context interpreter, or null if none
 * @return a 0-1-CFA Call Graph Builder.
 * @throws IllegalArgumentException if options is null
 */
public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView analysisCache,
  IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 return ZeroXCFABuilder.make(l, cha, options, analysisCache, customSelector, customInterpreter, ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.CONSTANT_SPECIFIC);
}

代码示例来源: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
 * @param customSelector user-defined context selector, or null if none
 * @param customInterpreter user-defined context interpreter, or null if none
 * @return a 0-1-CFA Call Graph Builder.
 * @throws IllegalArgumentException if options is null
 */
public static SSAPropagationCallGraphBuilder makeZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 return ZeroXCFABuilder.make(l, cha, options, cache, customSelector, customInterpreter, ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.SMUSH_MANY | ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS
   | ZeroXInstanceKeys.SMUSH_STRINGS | ZeroXInstanceKeys.SMUSH_THROWABLES);
}

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

public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(
    AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha,
    AnalysisScope scope, ContextSelector customSelector,
    SSAContextInterpreter customInterpreter,
    InputStream summariesStream, MethodSummary extraSummary) {
  if (options == null) {
    throw new IllegalArgumentException("options is null");
  }
  Util.addDefaultSelectors(options, cha);
  // addDefaultBypassLogic(options, scope, Util.class.getClassLoader(),
  // cha);
  // addBypassLogic(options, scope,
  // AndroidAppLoader.class.getClassLoader(), methodSpec, cha);
  addBypassLogic(options, scope, summariesStream, cha, extraSummary);
  return ZeroXCFABuilder.make(Language.JAVA, cha, options, cache, customSelector,
      customInterpreter, ZeroXInstanceKeys.ALLOCATIONS
          | ZeroXInstanceKeys.CONSTANT_SPECIFIC);
}

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

/**
 * @param options options that govern call graph construction
 * @param cha governing class hierarchy
 * @param scope representation of the analysis scope
 * @param customSelector user-defined context selector, or null if none
 * @param customInterpreter user-defined context interpreter, or null if none
 * @return a 0-1-CFA Call Graph Builder.
 * @throws IllegalArgumentException if options is null
 */
public static SSAPropagationCallGraphBuilder makeZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter) {
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 addDefaultSelectors(options, cha);
 addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
 return ZeroXCFABuilder.make(l, cha, options, cache, customSelector, customInterpreter, ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.SMUSH_MANY | ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS
   | ZeroXInstanceKeys.SMUSH_STRINGS | ZeroXInstanceKeys.SMUSH_THROWABLES);
}

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

return ZeroXCFABuilder.make(Language.JAVA, cha, options, cache, customSelector,
    customInterpreter, ZeroXInstanceKeys.NONE);

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