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

Packages that use InvokeHandlers

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

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

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

Modifier and Type	Method	Description
List<Stmt>	DoPriviledgedModel.doPrivilegedPA(Invoke invoke)
List<Stmt>	DoPriviledgedModel.doPrivilegedPEA(Invoke invoke)

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

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

Modifier and Type	Method	Description
void	SolarModel.classForName(CSVar csVar, PointsToSet pts, Invoke invoke)
void	StringBasedModel.classForName(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.classGetConstructor(CSVar csVar, PointsToSet pts, Invoke invoke)
void	StringBasedModel.classGetConstructor(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.classGetMethod(CSVar csVar, PointsToSet pts, Invoke invoke)
void	StringBasedModel.classGetMethod(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.classGetMethods(CSVar csVar, PointsToSet pts, Invoke invoke)