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

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

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

Util.makeZeroCFABuilder介绍

暂无

代码示例

代码示例来源：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.
  6.  */
  7. public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache,
  8.   IClassHierarchy cha, AnalysisScope scope) {
  9.  return makeZeroCFABuilder(l, options, cache, cha, scope, null, null);
  10. }

代码示例来源：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.
  6.  */
  7. public static SSAPropagationCallGraphBuilder makeZeroCFABuilder(Language l, AnalysisOptions options, IAnalysisCacheView cache,
  8.   IClassHierarchy cha, AnalysisScope scope) {
  9.  return makeZeroCFABuilder(l, options, cache, cha, scope, null, null);
  10. }

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

  1. @Override
  2. protected CallGraphBuilder<InstanceKey> getCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache) {
  3.  return Util.makeZeroCFABuilder(Language.JAVA, options, cache, cha, scope);
  4. }

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

  1. public static CallGraph buildZeroCFA(AnalysisOptions options, IAnalysisCacheView cache, IClassHierarchy cha, AnalysisScope scope,
  2.   boolean testPAtoString) throws IllegalArgumentException, CancelException {
  3.  StopwatchGC S = null;
  4.  if (CHECK_FOOTPRINT) {
  5.   S = new StopwatchGC("build RTA graph");
  6.   S.start();
  7.  }
  8.  SSAPropagationCallGraphBuilder builder = Util.makeZeroCFABuilder(Language.JAVA, options, cache, cha, scope);
  9.  CallGraph cg = builder.makeCallGraph(options, null);
  10.  if (testPAtoString) {
  11.   builder.getPointerAnalysis().toString();
  12.  }
  13.  if (CHECK_FOOTPRINT) {
  14.   S.stop();
  15.   System.err.println(S.report());
  16.  }
  17.  return cg;
  18. }

代码示例来源：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);
  4. } else if (cg_algorithm.equals("0-ctn-CFA")) {
  5.   builder = Util.makeZeroContainerCFABuilder(options, cache, this.cha, this.scope);

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

  1. private void testOCamlJar(String jarFile, String... args) throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException, ClassNotFoundException, InvalidClassFileException, FailureException, SecurityException, InterruptedException {   
  2.  File F = TemporaryFile.urlToFile(jarFile.replace('.',  '_') + ".jar", getClass().getClassLoader().getResource(jarFile));
  3.  F.deleteOnExit();
  4.  AnalysisScope scope = CallGraphTestUtil.makeJ2SEAnalysisScope("base.txt", CallGraphTestUtil.REGRESSION_EXCLUSIONS);
  5.  scope.addToScope(ClassLoaderReference.Application, new JarFile(F, false));
  6.  
  7.  ClassHierarchy cha = ClassHierarchyFactory.make(scope);
  8.  Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha, "Lpack/ocamljavaMain");
  9.  AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
  10.  options.setUseConstantSpecificKeys(true);
  11.  IAnalysisCacheView cache = new AnalysisCacheImpl();
  12.  
  13.  SSAPropagationCallGraphBuilder builder = Util.makeZeroCFABuilder(Language.JAVA, options, cache, cha, scope);
  14.  MethodHandles.analyzeMethodHandles(options, builder);
  15.  
  16.  CallGraph cg = builder.makeCallGraph(options, null); 
  17.  
  18.  System.err.println(cg);
  19.  instrument(F.getAbsolutePath());
  20.  run("pack.ocamljavaMain", null, args);
  21.  
  22.  checkNodes(cg, t -> {
  23.   String s = t.toString();
  24.   return s.contains("Lpack/") || s.contains("Locaml/stdlib/");
  25.  });
  26. }

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

  1. /**
  2.  * @param appJar something like "c:/temp/testdata/java_cup.jar"
  3.  * @return a call graph
  4.  */
  5. public static Graph<CGNode> buildPrunedCallGraph(String appJar, File exclusionFile) throws WalaException,
  6.   IllegalArgumentException, CancelException, IOException {
  7.  AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(appJar, exclusionFile != null ? exclusionFile : new File(
  8.    CallGraphTestUtil.REGRESSION_EXCLUSIONS));
  9.  ClassHierarchy cha = ClassHierarchyFactory.make(scope);
  10.  Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha);
  11.  AnalysisOptions options = new AnalysisOptions(scope, entrypoints);
  12.  // //
  13.  // build the call graph
  14.  // //
  15.  com.ibm.wala.ipa.callgraph.CallGraphBuilder<InstanceKey> builder = Util.makeZeroCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope);
  16.  CallGraph cg = builder.makeCallGraph(options, null);
  17.  System.err.println(CallGraphStats.getStats(cg));
  18.  Graph<CGNode> g = pruneForAppLoader(cg);
  19.  return g;
  20. }

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

  1. public static Pair<CallGraph, PointerAnalysis<InstanceKey>> makeDalvikCallGraph(URI[] androidLibs, File androidAPIJar, String mainClassName, String dexFileName) throws IOException, ClassHierarchyException, IllegalArgumentException, CancelException {
  2.   AnalysisScope scope = makeDalvikScope(androidLibs, androidAPIJar, dexFileName);
  3.   
  4.   final IClassHierarchy cha = ClassHierarchyFactory.make(scope);
  5.   TypeReference mainClassRef = TypeReference.findOrCreate(ClassLoaderReference.Application, mainClassName);
  6.   IClass mainClass = cha.lookupClass(mainClassRef);
  7.   assert mainClass != null;
  8.   System.err.println("building call graph for " + mainClass + ":" + mainClass.getClass());
  9.   
  10.   Iterable<Entrypoint> entrypoints = Util.makeMainEntrypoints(scope, cha, mainClassName);
  11.   
  12.   IAnalysisCacheView cache = new AnalysisCacheImpl(new DexIRFactory());
  13.   AnalysisOptions options = new AnalysisOptions(scope, entrypoints);
  14.   SSAPropagationCallGraphBuilder cgb = Util.makeZeroCFABuilder(Language.JAVA, options, cache, cha, scope);
  15.   CallGraph callGraph = cgb.makeCallGraph(options);
  16.   MethodReference mmr = MethodReference.findOrCreate(mainClassRef, "main", "([Ljava/lang/String;)V");
  17.   assert !callGraph.getNodes(mmr).isEmpty();
  18.   
  19.   PointerAnalysis<InstanceKey> ptrAnalysis = cgb.getPointerAnalysis();
  20.   
  21.   return Pair.make(callGraph, ptrAnalysis);
  22. }

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

  1. com.ibm.wala.ipa.callgraph.CallGraphBuilder<InstanceKey> builder = Util.makeZeroCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope, null,
  2.   null);
  3. CallGraph cg = builder.makeCallGraph(options,null);

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

  1. @Test public void testSystemProperties() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
  2.  AnalysisScope scope = CallGraphTestUtil.makeJ2SEAnalysisScope(TestConstants.WALA_TESTDATA,
  3.    CallGraphTestUtil.REGRESSION_EXCLUSIONS);
  4.  ClassHierarchy cha = ClassHierarchyFactory.make(scope);
  5.  Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha,
  6.    "LstaticInit/TestSystemProperties");
  7.  AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
  8.  SSAPropagationCallGraphBuilder builder = Util.makeZeroCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope);    
  9.  CallGraph cg = builder.makeCallGraph(options);
  10.  for (CGNode n : cg) {
  11.   if (n.toString().equals("Node: < Application, LstaticInit/TestSystemProperties, main([Ljava/lang/String;)V > Context: Everywhere")) {
  12.    boolean foundToCharArray = false;
  13.    for (CGNode callee : Iterator2Iterable.make(cg.getSuccNodes(n))) {
  14.     if (callee.getMethod().getName().toString().equals("toCharArray")) {
  15.      foundToCharArray = true;
  16.      break;
  17.     }
  18.    }
  19.    Assert.assertTrue(foundToCharArray);
  20.    break;
  21.   }
  22.  }
  23. }

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

  1. private static Pair<CallGraph,PointerAnalysis<InstanceKey>> makeJavaBuilder(String scopeFile, String mainClass) throws IOException, ClassHierarchyException, IllegalArgumentException, CancelException {
  2.   AnalysisScope scope = CallGraphTestUtil.makeJ2SEAnalysisScope(scopeFile, CallGraphTestUtil.REGRESSION_EXCLUSIONS);
  3.   ClassHierarchy cha = ClassHierarchyFactory.make(scope);
  4.   Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha, mainClass);
  5.   AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
  6.   SSAPropagationCallGraphBuilder builder = Util.makeZeroCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope);
  7.   CallGraph CG = builder.makeCallGraph(options);
  8.   return Pair.make(CG, builder.getPointerAnalysis());
  9. }

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

  1. public static Pair<CallGraph, PointerAnalysis<InstanceKey>> makeAPKCallGraph(URI[] androidLibs, File androidAPIJar, String apkFileName, IProgressMonitor monitor, ReflectionOptions policy) throws IOException, ClassHierarchyException, IllegalArgumentException, CancelException {
  2.   AnalysisScope scope = makeDalvikScope(androidLibs, androidAPIJar, apkFileName);
  3.   final IClassHierarchy cha = ClassHierarchyFactory.make(scope);
  4.   IAnalysisCacheView cache = new AnalysisCacheImpl(new DexIRFactory());
  5.   List<? extends Entrypoint> es = getEntrypoints(cha);
  6.   assert ! es.isEmpty();
  7.   
  8.   AnalysisOptions options = new AnalysisOptions(scope, es);
  9.   options.setReflectionOptions(policy);
  10.   
  11.   // SSAPropagationCallGraphBuilder cgb = Util.makeZeroCFABuilder(options, cache, cha, scope, null, makeDefaultInterpreter(options, cache));
  12.   SSAPropagationCallGraphBuilder cgb = Util.makeZeroCFABuilder(Language.JAVA, options, cache, cha, scope);
  13.   CallGraph callGraph = cgb.makeCallGraph(options, monitor);
  14.   
  15.   PointerAnalysis<InstanceKey> ptrAnalysis = cgb.getPointerAnalysis();
  16.   
  17.   return Pair.make(callGraph, ptrAnalysis);
  18. }

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

  1. private static void run(String classPath, String exclusionFilePath) throws IOException, ClassHierarchyException, CallGraphBuilderCancelException{
  3.   File exclusionFile = (new FileProvider()).getFile(exclusionFilePath);
  4.   AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(classPath, exclusionFile != null ? exclusionFile
  5.     : new File(CallGraphTestUtil.REGRESSION_EXCLUSIONS));
  7.   ClassHierarchy cha = ClassHierarchyFactory.make(scope);
  9.   Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha);
  10.   AnalysisOptions options = new AnalysisOptions(scope, entrypoints);
  12.   // //
  13.   // build the call graph
  14.   // //
  15.   com.ibm.wala.ipa.callgraph.CallGraphBuilder<InstanceKey> builder = Util.makeZeroCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope);
  16.   CallGraph cg = builder.makeCallGraph(options, null);
  18.   PointerAnalysis<InstanceKey> pa = builder.getPointerAnalysis();
  19.   @SuppressWarnings("unused")
  20.   WalaViewer walaViewer = new WalaViewer(cg, pa);
  21.   
  22.  }
  23. }

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

  1. private static void doCPATest(String testClass, String testIdSignature) throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
  3.   AnalysisScope scope = CallGraphTestUtil.makeJ2SEAnalysisScope(TestConstants.WALA_TESTDATA, CallGraphTestUtil.REGRESSION_EXCLUSIONS);
  4.   ClassHierarchy cha = ClassHierarchyFactory.make(scope);
  5.   Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha, testClass);
  6.   AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
  8.   SSAPropagationCallGraphBuilder builder = Util.makeZeroCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope);
  9.   builder.setContextSelector(new CPAContextSelector(builder.getContextSelector()));
  10.   CallGraph cg = builder.makeCallGraph(options, null);
  11.   
  12.   // Find id
  13.   TypeReference str = TypeReference.findOrCreate(ClassLoaderReference.Application, testClass);
  14.   MethodReference ct = MethodReference.findOrCreate(str, Atom.findOrCreateUnicodeAtom("id"), Descriptor.findOrCreateUTF8(testIdSignature));
  15.   Set<CGNode> idNodes = cg.getNodes(ct);
  16.  
  17.   System.err.println(cg);
  19.   Assert.assertEquals(2, idNodes.size());
  20.  }
  21. }

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

  1. options.setUseConstantSpecificKeys(true);
  2. SSAPropagationCallGraphBuilder builder = Util.makeZeroCFABuilder(Language.JAVA, options, cache, cha, scope);

代码示例来源：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
  2. public void testTestMessageFormat() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException {
  3.  AnalysisScope scope = findOrCreateAnalysisScope();
  4.  IClassHierarchy cha = findOrCreateCHA(scope);
  5.  Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha,
  6.    TestConstants.SLICE_TESTMESSAGEFORMAT);
  7.  AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
  8.  CallGraphBuilder<InstanceKey> builder = Util.makeZeroCFABuilder(Language.JAVA, options, new AnalysisCacheImpl(), cha, scope);
  9.  CallGraph cg = builder.makeCallGraph(options, null);
  10.  CGNode main = findMainMethod(cg);
  11.  Statement seed = new NormalStatement(main, 2);
  12.  System.err.println("Statement: " + seed);
  13.  // compute a backwards thin slice
  14.  ThinSlicer ts = new ThinSlicer(cg, builder.getPointerAnalysis());
  15.  Collection<Statement> slice = ts.computeBackwardThinSlice(seed);
  16.  dumpSlice(slice);
  17. }

代码示例来源：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. }

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

  1. @BeforeClass
  2. public static void init() throws IOException, ClassHierarchyException, IllegalArgumentException, CallGraphBuilderCancelException {
  3.  AnalysisOptions options;
  4.  AnalysisScope scope;
  5.  scope = AnalysisScopeReader.readJavaScope(TestConstants.WALA_TESTDATA, new File(REGRESSION_EXCLUSIONS), CLASS_LOADER);
  6.  cha = ClassHierarchyFactory.make(scope);
  7.  Iterable<Entrypoint> entrypoints = Util.makeMainEntrypoints(scope, cha, "Lexceptionpruning/TestPruning");
  8.  options = new AnalysisOptions(scope, entrypoints);
  9.  options.getSSAOptions().setPiNodePolicy(new AllIntegerDueToBranchePiPolicy());
  10.  ReferenceCleanser.registerClassHierarchy(cha);
  11.  IAnalysisCacheView cache = new AnalysisCacheImpl();
  12.  ReferenceCleanser.registerCache(cache);
  13.  CallGraphBuilder<InstanceKey> builder = Util.makeZeroCFABuilder(Language.JAVA, options, cache, cha, scope);
  14.  cg = builder.makeCallGraph(options, null);
  15.  pointerAnalysis = builder.getPointerAnalysis();
  16.  /*
  17.   * We will ignore some exceptions to focus on the exceptions we want to
  18.   * raise (OwnException, ArrayIndexOutOfBoundException)
  19.   */
  20.  filter = new CombinedInterproceduralExceptionFilter<>();
  21.  filter.add(new IgnoreExceptionsInterFilter<>(new IgnoreExceptionsFilter(TypeReference.JavaLangOutOfMemoryError)));
  22.  filter.add(new IgnoreExceptionsInterFilter<>(new IgnoreExceptionsFilter(
  23.    TypeReference.JavaLangNullPointerException)));
  24.  filter.add(new IgnoreExceptionsInterFilter<>(new IgnoreExceptionsFilter(
  25.    TypeReference.JavaLangExceptionInInitializerError)));
  26.  filter.add(new IgnoreExceptionsInterFilter<>(new IgnoreExceptionsFilter(
  27.    TypeReference.JavaLangNegativeArraySizeException)));
  28. }

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

  1. @BeforeClass
  2. public static void init() throws IOException, ClassHierarchyException, IllegalArgumentException, CallGraphBuilderCancelException {
  3.  AnalysisOptions options;
  4.  AnalysisScope scope;
  5.  scope = AnalysisScopeReader.readJavaScope(TestConstants.WALA_TESTDATA, new File(REGRESSION_EXCLUSIONS), CLASS_LOADER);
  6.  cha = ClassHierarchyFactory.make(scope);
  7.  Iterable<Entrypoint> entrypoints = Util.makeMainEntrypoints(scope, cha, "Lexceptionpruning/TestPruning");
  8.  options = new AnalysisOptions(scope, entrypoints);
  9.  options.getSSAOptions().setPiNodePolicy(new AllIntegerDueToBranchePiPolicy());
  10.  ReferenceCleanser.registerClassHierarchy(cha);
  11.  IAnalysisCacheView cache = new AnalysisCacheImpl();
  12.  ReferenceCleanser.registerCache(cache);
  13.  CallGraphBuilder<InstanceKey> builder = Util.makeZeroCFABuilder(Language.JAVA, options, cache, cha, scope);
  14.  cg = builder.makeCallGraph(options, null);
  15.  pointerAnalysis = builder.getPointerAnalysis();
  16.  /*
  17.   * We will ignore some exceptions to focus on the exceptions we want to
  18.   * raise (OwnException, ArrayIndexOutOfBoundException)
  19.   */
  20.  filter = new CombinedInterproceduralExceptionFilter<>();
  21.  filter.add(new IgnoreExceptionsInterFilter<>(new IgnoreExceptionsFilter(TypeReference.JavaLangOutOfMemoryError)));
  22.  filter.add(new IgnoreExceptionsInterFilter<>(new IgnoreExceptionsFilter(
  23.    TypeReference.JavaLangNullPointerException)));
  24.  filter.add(new IgnoreExceptionsInterFilter<>(new IgnoreExceptionsFilter(
  25.    TypeReference.JavaLangExceptionInInitializerError)));
  26.  filter.add(new IgnoreExceptionsInterFilter<>(new IgnoreExceptionsFilter(
  27.    TypeReference.JavaLangExceptionInInitializerError)));
  28.  filter.add(new IgnoreExceptionsInterFilter<>(new IgnoreExceptionsFilter(
  29.    TypeReference.JavaLangNegativeArraySizeException)));
  30. }

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

Util

相关文章

    查看更多

    热门标签

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

    最新文章

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