Uses of Interface
pascal.taie.analysis.pta.toolkit.PointerAnalysisResultEx

Packages that use PointerAnalysisResultEx

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

Uses of PointerAnalysisResultEx in pascal.taie.analysis.pta.toolkit

Classes in pascal.taie.analysis.pta.toolkit that implement PointerAnalysisResultEx

Modifier and Type	Class	Description
class	PointerAnalysisResultExImpl

Uses of PointerAnalysisResultEx in pascal.taie.analysis.pta.toolkit.util

Methods in pascal.taie.analysis.pta.toolkit.util with parameters of type PointerAnalysisResultEx

Modifier and Type	Method	Description
static Graph<Obj>	OAGs.build(PointerAnalysisResultEx pta)	Builds object allocation graph.
static Map<Obj,Set<JMethod>>	OAGs.computeInvokedMethods(PointerAnalysisResultEx pta)	Computes the methods invoked on all objects in the program.