gpt4 book ai didi

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

转载 作者:知者 更新时间:2024-03-14 04:44:49 26 4
gpt4 key购买 nike

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

ZeroXInstanceKeys.<init>介绍

暂无

代码示例

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

/**
 * subclasses can override as desired
 */
protected ZeroXInstanceKeys makeInstanceKeys(IClassHierarchy cha, AnalysisOptions options,
  SSAContextInterpreter contextInterpreter, int instancePolicy) {
 ZeroXInstanceKeys zik = new ZeroXInstanceKeys(options, cha, contextInterpreter, instancePolicy);
 return zik;
}

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

protected ZeroXInstanceKeys makeInstanceKeys(IClassHierarchy cha, AnalysisOptions options,
  SSAContextInterpreter contextInterpreter) {
 ZeroXInstanceKeys zik = new ZeroXInstanceKeys(options, cha, contextInterpreter, ZeroXInstanceKeys.ALLOCATIONS
   | ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS | ZeroXInstanceKeys.SMUSH_STRINGS | ZeroXInstanceKeys.SMUSH_MANY
   | ZeroXInstanceKeys.SMUSH_THROWABLES);
 return zik;
}

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

protected ZeroXInstanceKeys makeInstanceKeys(IClassHierarchy cha, AnalysisOptions options,
  SSAContextInterpreter contextInterpreter) {
 ZeroXInstanceKeys zik = new ZeroXInstanceKeys(options, cha, contextInterpreter, ZeroXInstanceKeys.ALLOCATIONS
   | ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS | ZeroXInstanceKeys.SMUSH_STRINGS | ZeroXInstanceKeys.SMUSH_MANY
   | ZeroXInstanceKeys.SMUSH_THROWABLES);
 return zik;
}

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

/**
 * subclasses can override as desired
 */
protected ZeroXInstanceKeys makeInstanceKeys(IClassHierarchy cha, AnalysisOptions options,
  SSAContextInterpreter contextInterpreter, int instancePolicy) {
 ZeroXInstanceKeys zik = new ZeroXInstanceKeys(options, cha, contextInterpreter, instancePolicy);
 return zik;
}

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

public JSZeroOrOneXCFABuilder(IClassHierarchy cha, JSAnalysisOptions options, IAnalysisCacheView cache,
  ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy, boolean doOneCFA) {
 super(cha, options, cache);
 SSAContextInterpreter contextInterpreter = setupSSAContextInterpreter(cha, options, cache, appContextInterpreter);
 setupMethodTargetSelector(cha, options);
 setupContextSelector(options, appContextSelector, doOneCFA);
 setInstanceKeys(new JavaScriptScopeMappingInstanceKeys(cha, this, new JavaScriptConstructorInstanceKeys(new ZeroXInstanceKeys(
   options, cha, contextInterpreter, instancePolicy))));
}

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

public JSZeroOrOneXCFABuilder(IClassHierarchy cha, JSAnalysisOptions options, IAnalysisCacheView cache,
  ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy, boolean doOneCFA) {
 super(cha, options, cache);
 SSAContextInterpreter contextInterpreter = setupSSAContextInterpreter(cha, options, cache, appContextInterpreter);
 setupMethodTargetSelector(cha, options);
 setupContextSelector(options, appContextSelector, doOneCFA);
 setInstanceKeys(new JavaScriptScopeMappingInstanceKeys(cha, this, new JavaScriptConstructorInstanceKeys(new ZeroXInstanceKeys(
   options, cha, contextInterpreter, instancePolicy))));
}

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

public AstJavaZeroXCFABuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache,
  ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy) {
 super(cha, options, cache);
 SSAContextInterpreter contextInterpreter = makeDefaultContextInterpreters(appContextInterpreter, options, cha);
 setContextInterpreter(contextInterpreter);
 ContextSelector def = new DefaultContextSelector(options, cha);
 ContextSelector contextSelector = appContextSelector == null ? def : new DelegatingContextSelector(appContextSelector, def);
 setContextSelector(contextSelector);
 setInstanceKeys(new JavaScopeMappingInstanceKeys(this, new ZeroXInstanceKeys(options, cha, contextInterpreter,
   instancePolicy)));
}

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

public AstJavaZeroXCFABuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache,
  ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy) {
 super(cha, options, cache);
 SSAContextInterpreter contextInterpreter = makeDefaultContextInterpreters(appContextInterpreter, options, cha);
 setContextInterpreter(contextInterpreter);
 ContextSelector def = new DefaultContextSelector(options, cha);
 ContextSelector contextSelector = appContextSelector == null ? def : new DelegatingContextSelector(appContextSelector, def);
 setContextSelector(contextSelector);
 setInstanceKeys(new JavaScopeMappingInstanceKeys(this, new ZeroXInstanceKeys(options, cha, contextInterpreter,
   instancePolicy)));
}

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

/**
 * make a {@link CallGraphBuilder} that uses call-string context sensitivity,
 * with call-string length limited to n, and a context-sensitive
 * allocation-site-based heap abstraction. Standard optimizations in the heap
 * abstraction like smushing of strings are disabled.
 */
public static SSAPropagationCallGraphBuilder makeVanillaNCFABuilder(int n, 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;
 SSAPropagationCallGraphBuilder result = new nCFABuilder(n, Language.JAVA.getFakeRootMethod(cha, options, cache), options, cache, appSelector, appInterpreter);
 // nCFABuilder uses type-based heap abstraction by default, but we want allocation sites
 result.setInstanceKeys(new ZeroXInstanceKeys(options, cha, result.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.CONSTANT_SPECIFIC));
 return result;
}

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

/**
 * make a {@link CallGraphBuilder} that uses call-string context sensitivity,
 * with call-string length limited to n, and a context-sensitive
 * allocation-site-based heap abstraction.
 */
public static SSAPropagationCallGraphBuilder makeNCFABuilder(int n, 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;
 SSAPropagationCallGraphBuilder result = new nCFABuilder(n, Language.JAVA.getFakeRootMethod(cha, options, cache), options, cache, appSelector, appInterpreter);
 // nCFABuilder uses type-based heap abstraction by default, but we want allocation sites
 result.setInstanceKeys(new ZeroXInstanceKeys(options, cha, result.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS
   | ZeroXInstanceKeys.SMUSH_MANY | ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS | ZeroXInstanceKeys.SMUSH_STRINGS
   | ZeroXInstanceKeys.SMUSH_THROWABLES));
 return result;
}

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

/**
 * make a {@link CallGraphBuilder} that uses call-string context sensitivity,
 * with call-string length limited to n, and a context-sensitive
 * allocation-site-based heap abstraction. Standard optimizations in the heap
 * abstraction like smushing of strings are disabled.
 */
public static SSAPropagationCallGraphBuilder makeVanillaNCFABuilder(int n, 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;
 SSAPropagationCallGraphBuilder result = new nCFABuilder(n, Language.JAVA.getFakeRootMethod(cha, options, cache), options, cache, appSelector, appInterpreter);
 // nCFABuilder uses type-based heap abstraction by default, but we want allocation sites
 result.setInstanceKeys(new ZeroXInstanceKeys(options, cha, result.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.CONSTANT_SPECIFIC));
 return result;
}

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

/**
 * make a {@link CallGraphBuilder} that uses call-string context sensitivity,
 * with call-string length limited to n, and a context-sensitive
 * allocation-site-based heap abstraction.
 */
public static SSAPropagationCallGraphBuilder makeNCFABuilder(int n, 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;
 SSAPropagationCallGraphBuilder result = new nCFABuilder(n, Language.JAVA.getFakeRootMethod(cha, options, cache), options, cache, appSelector, appInterpreter);
 // nCFABuilder uses type-based heap abstraction by default, but we want allocation sites
 result.setInstanceKeys(new ZeroXInstanceKeys(options, cha, result.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS
   | ZeroXInstanceKeys.SMUSH_MANY | ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS | ZeroXInstanceKeys.SMUSH_STRINGS
   | ZeroXInstanceKeys.SMUSH_THROWABLES));
 return result;
}

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

public JavaJavaScriptHybridCallGraphBuilder(IMethod fakeRootClass, AnalysisOptions options, IAnalysisCacheView cache) {
 super(fakeRootClass, options, cache, new AstCFAPointerKeys());
 globalObject = new GlobalObjectKey(cha.lookupClass(JavaScriptTypes.Root));
 
 SSAContextInterpreter contextInterpreter = makeDefaultContextInterpreters(null, options, cha);
 setContextInterpreter( contextInterpreter );
 ContextSelector def = new DefaultContextSelector(options, cha);
 Map<Atom,ContextSelector> languageSelectors = HashMapFactory.make();
 languageSelectors.put(JavaScriptTypes.jsName, 
  new JavaScriptFunctionApplyContextSelector(new JavaScriptConstructorContextSelector(def)));
 languageSelectors.put(Language.JAVA.getName(), def);
 setContextSelector(new CrossLanguageContextSelector(languageSelectors));
 
 Map<Atom,InstanceKeyFactory> instanceKeys = HashMapFactory.make();
 instanceKeys.put(
  JavaScriptTypes.jsName,
  new JavaScriptScopeMappingInstanceKeys(cha, this, new JavaScriptConstructorInstanceKeys(new ZeroXInstanceKeys(
    options, cha, contextInterpreter, ZeroXInstanceKeys.ALLOCATIONS))));
 instanceKeys.put(
   Language.JAVA.getName(),
   new ZeroXInstanceKeys(options, cha, contextInterpreter, ZeroXInstanceKeys.NONE));
 setInstanceKeys(new CrossLanguageInstanceKeys(instanceKeys));
}

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

builder.setInstanceKeys(new ZeroXInstanceKeys(options, cha, builder.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS

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