OAGs (Tai-e 0.5.1-SNAPSHOT API)

java.lang.Object

pascal.taie.analysis.pta.toolkit.util.OAGs

public class OAGs extends Object

Provides utility methods for object allocation graph.

Method Summary

Modifier and Type

Method

Description

static Graph<Obj>

build(PointerAnalysisResultEx pta)

Builds object allocation graph.

static Map<Obj,Set<JMethod>>

computeInvokedMethods(PointerAnalysisResultEx pta)

Computes the methods invoked on all objects in the program.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- build
  
  public static Graph<Obj> build(PointerAnalysisResultEx pta)
  
  Builds object allocation graph.
  
  Returns:
  
  the object allocation graph for the program.
- computeInvokedMethods
  
  public static Map<Obj,Set<JMethod>> computeInvokedMethods(PointerAnalysisResultEx pta)
  
  Computes the methods invoked on all objects in the program. For a static method, say m, we trace back its caller chain until we find the first instance method on the chain, say m' , and consider that m is invoked on the receiver object of m'.