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
AbstractModel	Provides common functionalities for implementing API models.
InvokeHandler	Annotation for conveniently marking Invoke handlers in API models.
Model	Model for special APIs.
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
AbstractIRModel	Provides common functionalities for implementing IR-based API models.
InvokeHandler	Annotation for conveniently marking Invoke handlers in API models.
InvokeHandlers	Container annotation for InvokeHandler.
IRModel	Models specific APIs by generating corresponding IR.
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
AbstractModel	Provides common functionalities for implementing API models.
InvokeHandler	Annotation for conveniently marking Invoke handlers in API models.
InvokeHandlers	Container annotation for InvokeHandler.
Model	Model for special APIs.
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
DummyModel	Dummy model which does nothing.
IRModel	Models specific APIs by generating corresponding IR.
Model	Model for special APIs.
SolverHolder	Base class for the objects that holds a Solver.