Uses of Interface
pascal.taie.analysis.pta.plugin.util.Model

Packages that use Model

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

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

Classes in pascal.taie.analysis.pta.plugin.invokedynamic that implement Model

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

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

Classes in pascal.taie.analysis.pta.plugin.reflection that implement Model

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 Model in pascal.taie.analysis.pta.plugin.util

Classes in pascal.taie.analysis.pta.plugin.util that implement Model

Modifier and Type	Class	Description
class	AbstractModel	Provides common functionalities for implementing API models.
enum	DummyModel	Dummy model which does nothing.

Methods in pascal.taie.analysis.pta.plugin.util that return Model

Modifier and Type	Method	Description
static Model	DummyModel.get()