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	Provides common functionalities for implementing IR-based API models.
class	AbstractModel	Provides common functionalities for implementing API models.