Package pascal.taie.analysis.pta.pts

package pascal.taie.analysis.pta.pts

Implementation of various points-to sets used in pointer analysis.

Related Packages

Package	Description
pascal.taie.analysis.pta
pascal.taie.analysis.pta.client
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).
pascal.taie.analysis.pta.toolkit

Class	Description
PointsToSet	Representation of points-to sets that consist of CSObj.
PointsToSetFactory	Provides static factory methods for PointsToSet.