Package pascal.taie.analysis.pta.client

package pascal.taie.analysis.pta.client

Related Packages

Package	Description
pascal.taie.analysis.pta
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).
pascal.taie.analysis.pta.pts	Implementation of various points-to sets used in pointer analysis.
pascal.taie.analysis.pta.toolkit

Classes

Class	Description
MayFailCast
PolymorphicCallSite