Package pascal.taie.analysis.pta

package pascal.taie.analysis.pta

Related Packages

Package	Description
pascal.taie.analysis
pascal.taie.analysis.pta.client
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
pascal.taie.analysis.bugfinder
pascal.taie.analysis.deadcode
pascal.taie.analysis.defuse
pascal.taie.analysis.exception	This package provides functionality to analyze exceptions.
pascal.taie.analysis.misc

Class	Description
PointerAnalysis
PointerAnalysisResult	Represents results of pointer analysis.
PointerAnalysisResultImpl