Uses of Annotation Interface
pascal.taie.analysis.pta.plugin.util.InvokeHandler

Packages that use InvokeHandler

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 InvokeHandler in pascal.taie.analysis.pta.plugin.invokedynamic

Methods in pascal.taie.analysis.pta.plugin.invokedynamic with annotations of type InvokeHandler

Modifier and Type	Method	Description
void	LookupModel.findConstructor(Context context, Invoke invoke, PointsToSet clsObjs)
void	LookupModel.findStatic(Context context, Invoke invoke, PointsToSet clsObjs, PointsToSet nameObjs)
void	LookupModel.findVirtual(Context context, Invoke invoke, PointsToSet clsObjs, PointsToSet nameObjs)
void	MethodTypeModel.methodType1Class(Context context, Invoke invoke, PointsToSet clsObjs)
void	MethodTypeModel.methodType2Classes(Context context, Invoke invoke, PointsToSet retObjs, PointsToSet paramObjs)
void	MethodTypeModel.methodTypeClassMT(Context context, Invoke invoke, PointsToSet retObjs, PointsToSet mtObjs)

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

Methods in pascal.taie.analysis.pta.plugin.natives with annotations of type InvokeHandler

Modifier and Type	Method	Description
List<Stmt>	ArrayModel.arraysCopyOf(Invoke invoke)
List<Stmt>	UnsafeModel.compareAndSwapObject(Invoke invoke)
List<Stmt>	DoPriviledgedModel.doPrivilegedPA(Invoke invoke)
List<Stmt>	DoPriviledgedModel.doPrivilegedPEA(Invoke invoke)
List<Stmt>	ArrayModel.systemArraycopy(Invoke invoke)

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

Methods in pascal.taie.analysis.pta.plugin.reflection with annotations of type InvokeHandler

Modifier and Type	Method	Description
void	ReflectiveActionModel.arrayNewInstance(Context context, Invoke invoke, PointsToSet pts)
void	SolarModel.classForName(Context context, Invoke invoke, PointsToSet nameObjs)
void	StringBasedModel.classForName(Context context, Invoke invoke, PointsToSet nameObjs)
void	SolarModel.classGetConstructor(Context context, Invoke invoke, PointsToSet classObjs)
void	StringBasedModel.classGetConstructor(Context context, Invoke invoke, PointsToSet classObjs)
void	SolarModel.classGetMethod(Context context, Invoke invoke, PointsToSet classObjs, PointsToSet nameObjs)
void	StringBasedModel.classGetMethod(Context context, Invoke invoke, PointsToSet classObjs, PointsToSet nameObjs)
void	SolarModel.classGetMethods(Context context, Invoke invoke, PointsToSet classObjs)
void	ReflectiveActionModel.classNewInstance(Context context, Invoke invoke, PointsToSet classes)
void	SolarModel.classNewInstance(Context context, Invoke invoke, PointsToSet classObjs)
void	SolarModel.collectUnsoundArrayNewInstance(Context __, Invoke invoke, PointsToSet classObjs)
void	ReflectiveActionModel.constructorNewInstance(Context context, Invoke invoke, PointsToSet constructors)
void	ReflectiveActionModel.fieldGet(Context context, Invoke invoke, PointsToSet fldObjs, PointsToSet baseObjs)
void	ReflectiveActionModel.fieldSet(Context context, Invoke invoke, PointsToSet fldObjs, PointsToSet baseObjs)
void	OthersModel.getAnnotation(Context context, Invoke invoke, PointsToSet baseClasses, PointsToSet annoClasses)
void	OthersModel.getClass(Context context, Invoke invoke, PointsToSet recvObjs)
void	OthersModel.getParameterAnnotations(Context context, Invoke invoke, PointsToSet mtdObjs)
void	OthersModel.getPrimitiveClass(Context context, Invoke invoke, PointsToSet nameObjs)
void	ReflectiveActionModel.methodInvoke(Context context, Invoke invoke, PointsToSet mtdObjs, PointsToSet recvObjs)
void	SolarModel.methodInvoke(Context context, Invoke invoke, PointsToSet mtdObjs, PointsToSet recvObjs)

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

Methods in pascal.taie.analysis.pta.plugin.util with parameters of type InvokeHandler

Modifier and Type	Method	Description
protected void	AnalysisModelPlugin.registerHandler(InvokeHandler invokeHandler, Method handler)
protected void	IRModelPlugin.registerHandler(InvokeHandler invokeHandler, Method handler)