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

Util.makeZeroOneContainerCFABuilder介绍

暂无

代码示例

代码示例来源：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 makeZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope) {
 return makeZeroOneContainerCFABuilder(options, cache, cha, scope, null, null);
}

代码示例来源：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 makeZeroOneContainerCFABuilder(AnalysisOptions options, IAnalysisCacheView cache,
  IClassHierarchy cha, AnalysisScope scope) {
 return makeZeroOneContainerCFABuilder(options, cache, cha, scope, null, null);
}

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

public static CallGraph buildZeroOneContainerCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha,
  AnalysisScope scope) throws IllegalArgumentException, CancelException {
 StopwatchGC S = null;
 if (CHECK_FOOTPRINT) {
  S = new StopwatchGC("build RTA graph");
  S.start();
 }
 CallGraphBuilder<InstanceKey> builder = Util.makeZeroOneContainerCFABuilder(options, cache, cha, scope);
 CallGraph cg = builder.makeCallGraph(options, null);
 if (CHECK_FOOTPRINT) {
  S.stop();
  System.err.println(S.report());
 }
 return cg;
}

代码示例来源：origin: SAP/vulnerability-assessment-tool

builder = Util.makeZeroOneCFABuilder(options, cache, this.cha, this.scope);
} else if (cg_algorithm.equals("0-1-ctn-CFA")) {
  builder = Util.makeZeroOneContainerCFABuilder(options, cache, this.cha, this.scope);
} else {
  builder = Util.makeZeroOneCFABuilder(options, cache, this.cha, this.scope);

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

IAnalysisCacheView cache = new AnalysisCacheImpl();
CallGraphBuilder<InstanceKey> builder = Util.makeZeroOneContainerCFABuilder(options, cache, cha, scope);

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

/**
 * test unreproduced bug reported on mailing list by Sameer Madan, 7/3/2007
 */
@Test
public void testSlice7() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
 AnalysisScope scope = findOrCreateAnalysisScope();
 IClassHierarchy cha = findOrCreateCHA(scope);
 Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha,
   TestConstants.SLICE7_MAIN);
 AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
 CallGraphBuilder<InstanceKey> builder = Util.makeZeroOneContainerCFABuilder(options, new AnalysisCacheImpl(), cha, scope);
 CallGraph cg = builder.makeCallGraph(options, null);
 CGNode main = findMainMethod(cg);
 Statement s = findFirstAllocation(main);
 System.err.println("Statement: " + s);
 // compute a data slice
 final PointerAnalysis<InstanceKey> pointerAnalysis = builder.getPointerAnalysis();
 Collection<Statement> slice = Slicer.computeForwardSlice(s, cg, pointerAnalysis,
   DataDependenceOptions.FULL, ControlDependenceOptions.NONE);
 dumpSlice(slice);
}

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

@Test
public void testZeroOneContainerCopyOf() throws IOException, ClassHierarchyException, IllegalArgumentException, CancelException {
 AnalysisScope scope = CallGraphTestUtil.makeJ2SEAnalysisScope(TestConstants.WALA_TESTDATA,
   CallGraphTestUtil.REGRESSION_EXCLUSIONS);
 ClassHierarchy cha = ClassHierarchyFactory.make(scope);
 Iterable<Entrypoint> entrypoints = Util.makeMainEntrypoints(scope, cha, "Ldemandpa/TestArraysCopyOf");
 AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
 IAnalysisCacheView cache = new AnalysisCacheImpl();
 CallGraphBuilder<InstanceKey> builder = Util.makeZeroOneContainerCFABuilder(options, cache, cha, scope);
 CallGraph cg = builder.makeCallGraph(options, null);
 PointerAnalysis<InstanceKey> pa = builder.getPointerAnalysis();
 CGNode mainMethod = AbstractPtrTest.findMainMethod(cg);
 PointerKey keyToQuery = AbstractPtrTest.getParam(mainMethod, "testThisVar", pa.getHeapModel());
 OrdinalSet<InstanceKey> pointsToSet = pa.getPointsToSet(keyToQuery);
 Assert.assertEquals(1, pointsToSet.size());
 
}
/**