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

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

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

Util.makeVanillaZeroOneCFABuilder介绍

暂无

代码示例

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

  1. /**
  2.  * @return a 0-1-CFA 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 SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView analysisCache,
  9.   IClassHierarchy cha, AnalysisScope scope) {
  10.  return makeVanillaZeroOneCFABuilder(l, options, analysisCache, cha, scope, null, null);
  11. }

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

  1. /**
  2.  * @return a 0-1-CFA 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 SSAPropagationCallGraphBuilder makeVanillaZeroOneCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView analysisCache,
  9.   IClassHierarchy cha, AnalysisScope scope) {
  10.  return makeVanillaZeroOneCFABuilder(l, options, analysisCache, cha, scope, null, null);
  11. }

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

  1. public static CallGraph buildVanillaZeroOneCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha,
  2.   AnalysisScope scope) throws IllegalArgumentException, CancelException {
  3.  StopwatchGC S = null;
  4.  if (CHECK_FOOTPRINT) {
  5.   S = new StopwatchGC("build RTA graph");
  6.   S.start();
  7.  }
  8.  CallGraphBuilder<InstanceKey> builder = Util.makeVanillaZeroOneCFABuilder(Language.JAVA, options, cache, cha, scope);
  9.  CallGraph cg = builder.makeCallGraph(options, null);
  10.  if (CHECK_FOOTPRINT) {
  11.   S.stop();
  12.   System.err.println(S.report());
  13.  }
  14.  return cg;
  15. }

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

  1. builder = Util.makeZeroContainerCFABuilder(options, cache, this.cha, this.scope);
  2. } else if (cg_algorithm.equals("vanilla-0-1-CFA")) {
  3.   builder = Util.makeVanillaZeroOneCFABuilder(options, cache, this.cha, this.scope);
  4. } else if (cg_algorithm.equals("0-1-CFA")) {
  5.   builder = Util.makeZeroOneCFABuilder(options, cache, this.cha, this.scope);

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

  1. private static IDemandPointerAnalysis makeDemandPointerAnalysis(AnalysisOptions options, ClassHierarchy cha, AnalysisScope scope,
  2.   CallGraph cg, MemoryAccessMap fam) {
  3.  SSAPropagationCallGraphBuilder builder = Util.makeVanillaZeroOneCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope);
  4.  // return new TestNewGraphPointsTo(cg, builder, fam, cha, warnings);
  5.  DemandRefinementPointsTo fullDemandPointsTo = DemandRefinementPointsTo.makeWithDefaultFlowGraph(cg, builder, fam, cha, options, new DummyStateMachine.Factory<IFlowLabel>());
  6.  // fullDemandPointsTo.setOnTheFly(true);
  7.  // fullDemandPointsTo.setRefineFields(true);
  8.  return fullDemandPointsTo;
  9. }

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

  1. public static Graph<Object> buildPointsTo(String appJar) throws WalaException, IllegalArgumentException, CancelException, IOException {
  2.   AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(appJar, (new FileProvider()).getFile(CallGraphTestUtil.REGRESSION_EXCLUSIONS));
  4.   
  5.   ClassHierarchy cha = ClassHierarchyFactory.make(scope);
  7.   Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha);
  8.   AnalysisOptions options = new AnalysisOptions(scope, entrypoints);
  10.   // //
  11.   // build the call graph
  12.   // //
  13.   com.ibm.wala.ipa.callgraph.CallGraphBuilder<InstanceKey> builder = Util.makeVanillaZeroOneCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(),cha, scope, null, null);
  14.   CallGraph cg = builder.makeCallGraph(options,null);
  15.   PointerAnalysis<InstanceKey> pointerAnalysis = builder.getPointerAnalysis();
  16.   
  17.   System.err.println(pointerAnalysis);
  18.   
  19.   return new BasicHeapGraph<>(pointerAnalysis, cg);
  20.  }
  21. }

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

  1. private static IDemandPointerAnalysis makeDemandPointerAnalysis(AnalysisOptions options, ClassHierarchy cha, AnalysisScope scope,
  2.   CallGraph cg, MemoryAccessMap fam) {
  3.  SSAPropagationCallGraphBuilder builder = Util.makeVanillaZeroOneCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope);
  4.  // return new TestNewGraphPointsTo(cg, builder, fam, cha, warnings);
  5.  DemandRefinementPointsTo fullDemandPointsTo = DemandRefinementPointsTo.makeWithDefaultFlowGraph(cg, builder, fam, cha, options, new DummyStateMachine.Factory<IFlowLabel>());
  6.  // fullDemandPointsTo.setCGRefinePolicy(new AlwaysRefineCGPolicy());
  7.  // fullDemandPointsTo.setFieldRefinePolicy(new AlwaysRefineFieldsPolicy());
  8.  fullDemandPointsTo.setRefinementPolicyFactory(new SinglePassRefinementPolicy.Factory(new AlwaysRefineFieldsPolicy(),
  9.    new AlwaysRefineCGPolicy()));
  10.  return fullDemandPointsTo;
  11. }

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

  1. /**
  2.  * builds a call graph, and sets the corresponding heap model for analysis
  3.  */
  4. private static Pair<CallGraph, PointerAnalysis<InstanceKey>> buildCallGraph(AnalysisScope scope, ClassHierarchy cha, AnalysisOptions options)
  5.   throws IllegalArgumentException, CancelException {
  6.  CallGraph retCG = null;
  7.  PointerAnalysis<InstanceKey> retPA = null;
  8.  final IAnalysisCacheView cache = new AnalysisCacheImpl();
  9.  CallGraphBuilder<InstanceKey> builder;
  10.  if (CHEAP_CG) {
  11.   builder = Util.makeZeroCFABuilder(Language.JAVA, options, cache, cha, scope);
  12.   // we want vanilla 0-1 CFA, which has one abstract loc per allocation
  13.   heapModel = Util.makeVanillaZeroOneCFABuilder(Language.JAVA, options, cache, cha, scope);
  14.  } else {
  15.   builder = Util.makeZeroOneContainerCFABuilder(options, cache, cha, scope);
  16.   heapModel = (HeapModel) builder;
  17.  }
  18.  ProgressMaster master = ProgressMaster.make(new NullProgressMonitor(), 360000, false);
  19.  master.beginTask("runSolver", 1);
  20.  try {
  21.   retCG = builder.makeCallGraph(options, master);
  22.   retPA = builder.getPointerAnalysis();
  23.  } catch (CallGraphBuilderCancelException e) {
  24.   System.err.println("TIMED OUT!!");
  25.   retCG = e.getPartialCallGraph();
  26.   retPA = e.getPartialPointerAnalysis();
  27.  }
  28.  return Pair.make(retCG, retPA);
  29. }

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

  1. @Test public void testMultiDim() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
  2.  AnalysisScope scope = CallGraphTestUtil.makeJ2SEAnalysisScope(TestConstants.WALA_TESTDATA, CallGraphTestUtil.REGRESSION_EXCLUSIONS);
  3.  ClassHierarchy cha = ClassHierarchyFactory.make(scope);
  4.  Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util
  5.    .makeMainEntrypoints(scope, cha, TestConstants.MULTI_DIM_MAIN);
  6.  AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
  7.  CallGraphBuilder<InstanceKey> builder = Util.makeVanillaZeroOneCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(),cha, scope);
  8.  CallGraph cg = builder.makeCallGraph(options, null);
  9.  PointerAnalysis<InstanceKey> pa = builder.getPointerAnalysis();
  10.  
  11.  CGNode node = findDoNothingNode(cg);
  12.  PointerKey pk = pa.getHeapModel().getPointerKeyForLocal(node, 1);
  13.  OrdinalSet<InstanceKey> ptsTo = pa.getPointsToSet(pk);
  14.  Assert.assertEquals(1, ptsTo.size());
  15. }

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

  1. @Test
  2.  public void testZeroLengthArray() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
  3.   AnalysisScope scope = CallGraphTestUtil.makeJ2SEAnalysisScope(TestConstants.WALA_TESTDATA,
  4.     CallGraphTestUtil.REGRESSION_EXCLUSIONS);
  5.   ClassHierarchy cha = ClassHierarchyFactory.make(scope);
  6.   Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha,
  7.     TestConstants.ZERO_LENGTH_ARRAY_MAIN);
  8.   AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
  10.   CallGraphBuilder<InstanceKey> builder = Util.makeVanillaZeroOneCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope);
  11.   CallGraph cg = builder.makeCallGraph(options, null);
  12.   PointerAnalysis<InstanceKey> pa = builder.getPointerAnalysis();
  13. //    System.err.println(pa);
  15.   HeapModel heapModel = pa.getHeapModel();
  16.   CGNode mainNode = cg.getNode(
  17.     cha.resolveMethod(MethodReference.findOrCreate(
  18.       TypeReference.findOrCreate(ClassLoaderReference.Application, TestConstants.ZERO_LENGTH_ARRAY_MAIN),
  19.       Selector.make("main([Ljava/lang/String;)V"))), Everywhere.EVERYWHERE);
  20.   OrdinalSet<InstanceKey> pointsToSet = pa.getPointsToSet(heapModel.getPointerKeyForLocal(mainNode, 4));
  21.   Assert.assertEquals(1, pointsToSet.size());
  22.   InstanceKey arrayKey = pointsToSet.iterator().next();
  23.   OrdinalSet<InstanceKey> arrayContents = pa.getPointsToSet(heapModel.getPointerKeyForArrayContents(arrayKey));
  24.   System.err.println(arrayContents);
  25.   Assert.assertEquals(0, arrayContents.size());
  26.   
  27.  }
  28. }

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

  1. Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha, mainClass);
  2. AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
  3. CallGraphBuilder<InstanceKey> builder = Util.makeVanillaZeroOneCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope);

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

  1. private static void doTests(AnalysisScope scope, final ClassHierarchy cha, AnalysisOptions options) throws IllegalArgumentException, CancelException {
  2.  final SSAPropagationCallGraphBuilder builder = Util.makeVanillaZeroOneCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope);
  3.  final CallGraph oldCG = builder.makeCallGraph(options,null);
  4.  final PointerAnalysis<InstanceKey> pa = builder.getPointerAnalysis();

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

  1. protected DemandRefinementPointsTo makeDemandPointerAnalysis(String mainClass) throws ClassHierarchyException,
  2.   IllegalArgumentException, CancelException, IOException {
  3.  AnalysisScope scope = findOrCreateAnalysisScope();
  4.  // build a type hierarchy
  5.  IClassHierarchy cha = findOrCreateCHA(scope);
  6.  // set up call graph construction options; mainly what should be considered
  7.  // entrypoints?
  8.  Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha, mainClass);
  9.  AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
  10.  final IAnalysisCacheView analysisCache = new AnalysisCacheImpl();
  11.  CallGraphBuilder<InstanceKey> cgBuilder = Util.makeZeroCFABuilder(Language.JAVA, options, analysisCache, cha, scope);
  12.  final CallGraph cg = cgBuilder.makeCallGraph(options, null);
  13.  // System.err.println(cg.toString());
  14.  // MemoryAccessMap mam = new SimpleMemoryAccessMap(cg,
  15.  // cgBuilder.getPointerAnalysis().getHeapModel(), false);
  16.  MemoryAccessMap mam = new PABasedMemoryAccessMap(cg, cgBuilder.getPointerAnalysis());
  17.  SSAPropagationCallGraphBuilder builder = Util.makeVanillaZeroOneCFABuilder(Language.JAVA, options, analysisCache, cha, scope);
  18.  DemandRefinementPointsTo fullDemandPointsTo = DemandRefinementPointsTo.makeWithDefaultFlowGraph(cg, builder, mam, cha, options,
  19.    getStateMachineFactory());
  20.  // always refine array fields; otherwise, can be very sensitive to differences
  21.  // in library versions.  otherwise, no refinement by default
  22.  fullDemandPointsTo.setRefinementPolicyFactory(new SinglePassRefinementPolicy.Factory(new OnlyArraysPolicy(), new NeverRefineCGPolicy()));
  23.  return fullDemandPointsTo;
  24. }

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

Util

相关文章

    查看更多

    热门标签

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

    最新文章

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