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

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

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

ZeroXCFABuilder.<init>介绍

暂无

代码示例

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

public static ZeroXCFABuilder make(Language l, IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache,
  ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy) throws IllegalArgumentException {
 if (options == null) {
  throw new IllegalArgumentException("options == null");
 }
 return new ZeroXCFABuilder(l, cha, options, cache, appContextSelector, appContextInterpreter, instancePolicy);
}

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

public static ZeroXCFABuilder make(Language l, IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache,
  ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy) throws IllegalArgumentException {
 if (options == null) {
  throw new IllegalArgumentException("options == null");
 }
 return new ZeroXCFABuilder(l, cha, options, cache, appContextSelector, appContextInterpreter, instancePolicy);
}

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

/**
 * @param options options that govern call graph construction
 * @param cha governing class hierarchy
 * @param cl classloader that can find WALA resources
 * @param scope representation of the analysis scope
 * @param xmlFiles set of Strings that are names of XML files holding bypass logic specifications.
 * @return a 0-1-Opt-CFA Call Graph Builder.
 * @throws IllegalArgumentException if options is null
 * @throws IllegalArgumentException if xmlFiles == null
 */
public static SSAPropagationCallGraphBuilder make(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha,
  ClassLoader cl, AnalysisScope scope, String[] xmlFiles, byte instancePolicy) throws IllegalArgumentException {
 if (xmlFiles == null) {
  throw new IllegalArgumentException("xmlFiles == null");
 }
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 Util.addDefaultSelectors(options, cha);
 for (String xmlFile : xmlFiles) {
  Util.addBypassLogic(options, scope, cl, xmlFile, cha);
 }
 return new ZeroXCFABuilder(Language.JAVA, cha, options, cache, null, null, instancePolicy);
}

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

/**
 * @param options options that govern call graph construction
 * @param cha governing class hierarchy
 * @param cl classloader that can find WALA resources
 * @param scope representation of the analysis scope
 * @param xmlFiles set of Strings that are names of XML files holding bypass logic specifications.
 * @return a 0-1-Opt-CFA Call Graph Builder.
 * @throws IllegalArgumentException if options is null
 * @throws IllegalArgumentException if xmlFiles == null
 */
public static SSAPropagationCallGraphBuilder make(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha,
  ClassLoader cl, AnalysisScope scope, String[] xmlFiles, byte instancePolicy) throws IllegalArgumentException {
 if (xmlFiles == null) {
  throw new IllegalArgumentException("xmlFiles == null");
 }
 if (options == null) {
  throw new IllegalArgumentException("options is null");
 }
 Util.addDefaultSelectors(options, cha);
 for (String xmlFile : xmlFiles) {
  Util.addBypassLogic(options, scope, cl, xmlFile, cha);
 }
 return new ZeroXCFABuilder(Language.JAVA, cha, options, cache, null, null, instancePolicy);
}

相关文章