Package pascal.taie.analysis.pta.plugin.util

package pascal.taie.analysis.pta.plugin.util

Related Packages

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

Class	Description
AbstractIRModel	Deprecated. Use IRModelPlugin instead.
AbstractModel	Deprecated. Use AnalysisModelPlugin instead.
AnalysisModelPlugin	Provides common functionalities for implementing the plugins which model the APIs by analyzing their semantics.
CSObjs	Static utility methods for CSObjs.
InvokeHandler	Annotation for conveniently marking Invoke handlers in API models.
InvokeHandlers	Container annotation for InvokeHandler.
InvokeUtils	Provides utility methods to conveniently handle Invoke.
IRModel	Deprecated. Use IRModelPlugin instead.
IRModelPlugin	Provides common functionalities for implementing the plugins which model the APIs by generating semantically-equivalent IR (Stmt).
Model	Deprecated. Use AnalysisModelPlugin instead.
SolverHolder	Base class for the objects that holds a Solver.