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

Packages that use AbstractModel

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

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

Subclasses of AbstractModel 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 AbstractModel in pascal.taie.analysis.pta.plugin.reflection

Subclasses of AbstractModel 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