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

Packages that use AnalysisModelPlugin

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

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

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

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