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

Packages that use pascal.taie.analysis.pta.plugin.util

Package	Description
pascal.taie.analysis.pta.plugin.invokedynamic
pascal.taie.analysis.pta.plugin.natives
pascal.taie.analysis.pta.plugin.reflection
pascal.taie.analysis.pta.plugin.util

Classes in pascal.taie.analysis.pta.plugin.util used by pascal.taie.analysis.pta.plugin.invokedynamic

Class	Description
AnalysisModelPlugin	Provides common functionalities for implementing the plugins which model the APIs by analyzing their semantics.
InvokeHandler	Annotation for conveniently marking Invoke handlers in API models.
SolverHolder	Base class for the objects that holds a Solver.

Classes in pascal.taie.analysis.pta.plugin.util used by pascal.taie.analysis.pta.plugin.natives

Class	Description
AnalysisModelPlugin	Provides common functionalities for implementing the plugins which model the APIs by analyzing their semantics.
InvokeHandler	Annotation for conveniently marking Invoke handlers in API models.
IRModelPlugin	Provides common functionalities for implementing the plugins which model the APIs by generating semantically-equivalent IR (Stmt).
SolverHolder	Base class for the objects that holds a Solver.

Classes in pascal.taie.analysis.pta.plugin.util used by pascal.taie.analysis.pta.plugin.reflection

Class	Description
AnalysisModelPlugin	Provides common functionalities for implementing the plugins which model the APIs by analyzing their semantics.
InvokeHandler	Annotation for conveniently marking Invoke handlers in API models.
SolverHolder	Base class for the objects that holds a Solver.

Classes in pascal.taie.analysis.pta.plugin.util used by pascal.taie.analysis.pta.plugin.util

Class	Description
InvokeHandler	Annotation for conveniently marking Invoke handlers in API models.
IRModel	Deprecated. Use IRModelPlugin instead.
Model	Deprecated. Use AnalysisModelPlugin instead.
SolverHolder	Base class for the objects that holds a Solver.