Package pascal.taie.analysis.pta.toolkit.util

Class OAGs

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'.