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

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

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

Util.makeRTABuilder介绍

暂无

代码示例

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

  1. public static CallGraph buildRTA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope)
  2. 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.makeRTABuilder(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.makeRTABuilder(options, cache, this.cha, this.scope);
  2. } else if (cg_algorithm.equals("0-CFA")) {
  3. builder = Util.makeZeroCFABuilder(options, cache, this.cha, this.scope);

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

  1. CallGraphBuilder<InstanceKey> rtaBuilder = Util.makeRTABuilder(options, new AnalysisCacheImpl(), cha, scope);
  2. final CallGraph cg = rtaBuilder.makeCallGraph(options, null);

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

  1. CallGraphBuilder<InstanceKey> rtaBuilder = Util.makeRTABuilder(options, new AnalysisCacheImpl(), cha, scope);
  2. final CallGraph cg = rtaBuilder.makeCallGraph(options, null);

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

  1. @Test public void testTypeBasedArrayAlias() 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.ARRAY_ALIAS_MAIN);
  6. AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
  7. // RTA yields a TypeBasedPointerAnalysis
  8. CallGraphBuilder<InstanceKey> builder = Util.makeRTABuilder(options, new AnalysisCacheImpl(),cha, scope);
  9. CallGraph cg = builder.makeCallGraph(options, null);
  10. PointerAnalysis<InstanceKey> pa = builder.getPointerAnalysis();
  11. CGNode node = findNode(cg, "testMayAlias1");
  12. PointerKey pk1 = pa.getHeapModel().getPointerKeyForLocal(node, 1);
  13. PointerKey pk2 = pa.getHeapModel().getPointerKeyForLocal(node, 2);
  14. Assert.assertTrue(mayAliased(pk1, pk2, pa));
  15. node = findNode(cg, "testMayAlias2");
  16. pk1 = pa.getHeapModel().getPointerKeyForLocal(node, 1);
  17. pk2 = pa.getHeapModel().getPointerKeyForLocal(node, 2);
  18. Assert.assertTrue(mayAliased(pk1, pk2, pa));
  19. node = findNode(cg, "testMayAlias3");
  20. pk1 = pa.getHeapModel().getPointerKeyForLocal(node, 1);
  21. pk2 = pa.getHeapModel().getPointerKeyForLocal(node, 2);
  22. Assert.assertTrue(mayAliased(pk1, pk2, pa));
  23. }

相关文章