com.ibm.wala.ipa.callgraph.impl.Util.addDefaultBypassLogic()方法的使用及代码示例

x33g5p2x  于2022-02-01 转载在 其他  
字(15.3k)|赞(0)|评价(0)|浏览(165)

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

Util.addDefaultBypassLogic介绍

暂无

代码示例

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

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

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

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

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

  1. public CallGraphBuilder<InstanceKey> make(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope) {
  2.   Util.addDefaultSelectors(options, cha);
  3.   Util.addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  4.   return new AstJavaZeroOneContainerCFABuilder(cha, options, cache, null, null);
  5.  }
  6. }

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

  1. public CallGraphBuilder<InstanceKey> make(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope) {
  2.   Util.addDefaultSelectors(options, cha);
  3.   Util.addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  4.   return new AstJavaZeroXCFABuilder(cha, options, cache, null, null, ZeroXInstanceKeys.NONE);
  5.  }
  6. }

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

  1. public CallGraphBuilder<InstanceKey> make(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope) {
  2.   Util.addDefaultSelectors(options, cha);
  3.   Util.addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  4.   return new AstJavaZeroXCFABuilder(cha, options, cache, null, null, ZeroXInstanceKeys.NONE);
  5.  }
  6. }

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

  1. public CallGraphBuilder<InstanceKey> make(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope) {
  2.   Util.addDefaultSelectors(options, cha);
  3.   Util.addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  4.   return new AstJavaZeroOneContainerCFABuilder(cha, options, cache, null, null);
  5.  }
  6. }

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

  1. /**
  2.  * @return an RTA Call Graph builder.
  3.  * 
  4.  * @param options options that govern call graph construction
  5.  * @param cha governing class hierarchy
  6.  * @param scope representation of the analysis scope
  7.  */
  8. public static CallGraphBuilder makeRTABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha,
  9.   AnalysisScope scope) {
  10.  addDefaultSelectors(options, cha);
  11.  addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  12.  return new BasicRTABuilder(cha, options, cache, null, null);
  13. }

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

  1. /**
  2.  * @return an RTA Call Graph builder.
  3.  * 
  4.  * @param options options that govern call graph construction
  5.  * @param cha governing class hierarchy
  6.  * @param scope representation of the analysis scope
  7.  */
  8. public static CallGraphBuilder makeRTABuilder(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha,
  9.   AnalysisScope scope) {
  10.  addDefaultSelectors(options, cha);
  11.  addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  12.  return new BasicRTABuilder(cha, options, cache, null, null);
  13. }

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

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

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

  1. /**
  2.  * @param options options that govern call graph construction
  3.  * @param cha governing class hierarchy
  4.  * @param scope representation of the analysis scope
  5.  * @param customSelector user-defined context selector, or null if none
  6.  * @param customInterpreter user-defined context interpreter, or null if none
  7.  * @return a 0-CFA Call Graph Builder.
  8.  * @throws IllegalArgumentException if options is null
  9.  */
  10. public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache,
  11.   IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter) {
  12.  if (options == null) {
  13.   throw new IllegalArgumentException("options is null");
  14.  }
  15.  addDefaultSelectors(options, cha);
  16.  addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  17.  return ZeroXCFABuilder.make(l, cha, options, cache, customSelector, customInterpreter, ZeroXInstanceKeys.NONE);
  18. }

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

  1. /**
  2.  * @param options options that govern call graph construction
  3.  * @param cha governing class hierarchy
  4.  * @param scope representation of the analysis scope
  5.  * @param customSelector user-defined context selector, or null if none
  6.  * @param customInterpreter user-defined context interpreter, or null if none
  7.  * @return a 0-1-CFA Call Graph Builder.
  8.  * @throws IllegalArgumentException if options is null
  9.  */
  10. public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView analysisCache,
  11.   IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter) {
  12.  if (options == null) {
  13.   throw new IllegalArgumentException("options is null");
  14.  }
  15.  addDefaultSelectors(options, cha);
  16.  addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  17.  return ZeroXCFABuilder.make(l, cha, options, analysisCache, customSelector, customInterpreter, ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.CONSTANT_SPECIFIC);
  18. }

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

  1. /**
  2.  * @param options options that govern call graph construction
  3.  * @param cha governing class hierarchy
  4.  * @param scope representation of the analysis scope
  5.  * @return a 0-CFA Call Graph Builder augmented with extra logic for containers
  6.  * @throws IllegalArgumentException if options is null
  7.  */
  8. public static SSAPropagationCallGraphBuilder makeZeroContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache,
  9.   IClassHierarchy cha, AnalysisScope scope) {
  10.  if (options == null) {
  11.   throw new IllegalArgumentException("options is null");
  12.  }
  13.  addDefaultSelectors(options, cha);
  14.  addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  15.  ContextSelector appSelector = null;
  16.  SSAContextInterpreter appInterpreter = null;
  17.  return new ZeroXContainerCFABuilder(cha, options, cache, appSelector, appInterpreter, ZeroXInstanceKeys.NONE);
  18. }

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

  1. /**
  2.  * @param options options that govern call graph construction
  3.  * @param cha governing class hierarchy
  4.  * @param scope representation of the analysis scope
  5.  * @param customSelector user-defined context selector, or null if none
  6.  * @param customInterpreter user-defined context interpreter, or null if none
  7.  * @return a 0-1-CFA Call Graph Builder.
  8.  * @throws IllegalArgumentException if options is null
  9.  */
  10. public static SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView analysisCache,
  11.   IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter) {
  12.  if (options == null) {
  13.   throw new IllegalArgumentException("options is null");
  14.  }
  15.  addDefaultSelectors(options, cha);
  16.  addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  17.  return ZeroXCFABuilder.make(l, cha, options, analysisCache, customSelector, customInterpreter, ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.CONSTANT_SPECIFIC);
  18. }

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

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

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

  1. /**
  2.  * @param options options that govern call graph construction
  3.  * @param cha governing class hierarchy
  4.  * @param scope representation of the analysis scope
  5.  * @param customSelector user-defined context selector, or null if none
  6.  * @param customInterpreter user-defined context interpreter, or null if none
  7.  * @return a 0-CFA Call Graph Builder.
  8.  * @throws IllegalArgumentException if options is null
  9.  */
  10. public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache,
  11.   IClassHierarchy cha, AnalysisScope scope, ContextSelector customSelector, SSAContextInterpreter customInterpreter) {
  12.  if (options == null) {
  13.   throw new IllegalArgumentException("options is null");
  14.  }
  15.  addDefaultSelectors(options, cha);
  16.  addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  17.  return ZeroXCFABuilder.make(l, cha, options, cache, customSelector, customInterpreter, ZeroXInstanceKeys.NONE);
  18. }

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

  1. /**
  2.  * @param options options that govern call graph construction
  3.  * @param cha governing class hierarchy
  4.  * @param scope representation of the analysis scope
  5.  * @return a 0-CFA Call Graph Builder augmented with extra logic for containers
  6.  * @throws IllegalArgumentException if options is null
  7.  */
  8. public static SSAPropagationCallGraphBuilder makeZeroContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache,
  9.   IClassHierarchy cha, AnalysisScope scope) {
  10.  if (options == null) {
  11.   throw new IllegalArgumentException("options is null");
  12.  }
  13.  addDefaultSelectors(options, cha);
  14.  addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  15.  ContextSelector appSelector = null;
  16.  SSAContextInterpreter appInterpreter = null;
  17.  return new ZeroXContainerCFABuilder(cha, options, cache, appSelector, appInterpreter, ZeroXInstanceKeys.NONE);
  18. }

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

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

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

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

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

  1. /**
  2.  * make a {@link CallGraphBuilder} that uses call-string context sensitivity,
  3.  * with call-string length limited to n, and a context-sensitive
  4.  * allocation-site-based heap abstraction. Standard optimizations in the heap
  5.  * abstraction like smushing of strings are disabled.
  6.  */
  7. public static SSAPropagationCallGraphBuilder makeVanillaNCFABuilder(int n, AnalysisOptions options, IAnalysisCacheView cache,
  8.   IClassHierarchy cha, AnalysisScope scope) {
  9.  if (options == null) {
  10.   throw new IllegalArgumentException("options is null");
  11.  }
  12.  addDefaultSelectors(options, cha);
  13.  addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  14.  ContextSelector appSelector = null;
  15.  SSAContextInterpreter appInterpreter = null;
  16.  SSAPropagationCallGraphBuilder result = new nCFABuilder(n, Language.JAVA.getFakeRootMethod(cha, options, cache), options, cache, appSelector, appInterpreter);
  17.  // nCFABuilder uses type-based heap abstraction by default, but we want allocation sites
  18.  result.setInstanceKeys(new ZeroXInstanceKeys(options, cha, result.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.CONSTANT_SPECIFIC));
  19.  return result;
  20. }

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

  1. /**
  2.  * make a {@link CallGraphBuilder} that uses call-string context sensitivity,
  3.  * with call-string length limited to n, and a context-sensitive
  4.  * allocation-site-based heap abstraction. Standard optimizations in the heap
  5.  * abstraction like smushing of strings are disabled.
  6.  */
  7. public static SSAPropagationCallGraphBuilder makeVanillaNCFABuilder(int n, AnalysisOptions options, IAnalysisCacheView cache,
  8.   IClassHierarchy cha, AnalysisScope scope) {
  9.  if (options == null) {
  10.   throw new IllegalArgumentException("options is null");
  11.  }
  12.  addDefaultSelectors(options, cha);
  13.  addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
  14.  ContextSelector appSelector = null;
  15.  SSAContextInterpreter appInterpreter = null;
  16.  SSAPropagationCallGraphBuilder result = new nCFABuilder(n, Language.JAVA.getFakeRootMethod(cha, options, cache), options, cache, appSelector, appInterpreter);
  17.  // nCFABuilder uses type-based heap abstraction by default, but we want allocation sites
  18.  result.setInstanceKeys(new ZeroXInstanceKeys(options, cha, result.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.CONSTANT_SPECIFIC));
  19.  return result;
  20. }

内容来源于网络，如有侵权，请联系作者删除！

Util

相关文章

    查看更多

    热门标签

    更多
    JavaquerypythonNode开发语言requestUtil数据库Table后端算法LoggerMessageElementParser

    最新文章

    更多
    • 蜀ICP备13028337号-1 大数据知识库 https://www.saoniuhuo.com © All rights reserved
    • 本站内容来源互联网,如果侵犯您的权益请联系我们删除, 联系方式：448109455@qq.com