Uses of Class
pascal.taie.analysis.pta.plugin.util.SolverHolder

Packages that use SolverHolder

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

Uses of SolverHolder in pascal.taie.analysis.pta.plugin.invokedynamic

Subclasses of SolverHolder in pascal.taie.analysis.pta.plugin.invokedynamic

Modifier and Type	Class	Description
class	LookupModel	Models java.lang.invoke.MethodHandles.Lookup.find*(...).
class	MethodTypeModel	Models invocations to MethodType.methodType(*);

Uses of SolverHolder in pascal.taie.analysis.pta.plugin.natives

Subclasses of SolverHolder in pascal.taie.analysis.pta.plugin.natives

Modifier and Type	Class	Description
class	ArrayModel
class	DoPriviledgedModel
class	UnsafeModel

Uses of SolverHolder in pascal.taie.analysis.pta.plugin.reflection

Subclasses of SolverHolder in pascal.taie.analysis.pta.plugin.reflection

Modifier and Type	Class	Description
class	OthersModel	Models other non-core reflection APIs.
class	ReflectiveActionModel	Models reflective-action methods, currently supports Class.newInstance() Constructor.newInstance(Object[]) Method.invoke(Object,Object[]) Field.get(Object) Field.set(Object,Object) Array.newInstance(Class,int) TODO: check accessibility
class	SolarModel	Implementation of Solar, a powerful static reflection analysis.
class	StringBasedModel

Uses of SolverHolder in pascal.taie.analysis.pta.plugin.util

Subclasses of SolverHolder in pascal.taie.analysis.pta.plugin.util

Modifier and Type	Class	Description
class	AbstractIRModel	Deprecated. Use IRModelPlugin instead.
class	AbstractModel	Deprecated. Use AnalysisModelPlugin instead.
class	AnalysisModelPlugin	Provides common functionalities for implementing the plugins which model the APIs by analyzing their semantics.
class	IRModelPlugin	Provides common functionalities for implementing the plugins which model the APIs by generating semantically-equivalent IR (Stmt).