gpt4 book ai didi

com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXContainerCFABuilder类的使用及代码示例

转载 作者:知者 更新时间:2024-03-13 12:28:35 26 4
gpt4 key购买 nike

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

ZeroXContainerCFABuilder介绍

[英]0-X-CFA Call graph builder which analyzes calls to "container methods" in a context which is defined by the receiver instance.
[中]0-X-CFA调用图生成器,它在接收方实例定义的上下文中分析对“容器方法”的调用。

代码示例

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

/**
 * @param cha governing class hierarchy
 * @param options call graph construction options
 * @param appContextSelector application-specific logic to choose contexts
 * @param appContextInterpreter application-specific logic to interpret a method in context
 * @throws IllegalArgumentException if options is null
 */
public ZeroXContainerCFABuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache,
  ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy) {
 super(Language.JAVA, cha, options, cache, appContextSelector, appContextInterpreter, instancePolicy);
 ContextSelector CCS = makeContainerContextSelector(cha, (ZeroXInstanceKeys) getInstanceKeys());
 DelegatingContextSelector DCS = new DelegatingContextSelector(CCS, contextSelector);
 setContextSelector(DCS);
}

代码示例来源: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: com.ibm.wala/com.ibm.wala.core

/**
 * @param cha governing class hierarchy
 * @param options call graph construction options
 * @param appContextSelector application-specific logic to choose contexts
 * @param appContextInterpreter application-specific logic to interpret a method in context
 * @throws IllegalArgumentException if options is null
 */
public ZeroXContainerCFABuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache,
  ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy) {
 super(Language.JAVA, cha, options, cache, appContextSelector, appContextInterpreter, instancePolicy);
 ContextSelector CCS = makeContainerContextSelector(cha, (ZeroXInstanceKeys) getInstanceKeys());
 DelegatingContextSelector DCS = new DelegatingContextSelector(CCS, contextSelector);
 setContextSelector(DCS);
}

代码示例来源: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);
}

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