Uses of Class
pascal.taie.ir.stmt.Invoke

Packages that use Invoke

Package	Description
pascal.taie.analysis.exception	This package provides functionality to analyze exceptions.
pascal.taie.analysis.graph.callgraph	Provides the classes necessary to build and represent a call graph.
pascal.taie.analysis.graph.flowgraph
pascal.taie.analysis.pta
pascal.taie.analysis.pta.core.cs.element	Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).
pascal.taie.analysis.pta.plugin.invokedynamic
pascal.taie.analysis.pta.plugin.natives
pascal.taie.analysis.pta.plugin.reflection
pascal.taie.analysis.pta.plugin.util
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
pascal.taie.ir.exp
pascal.taie.ir.stmt

Uses of Invoke in pascal.taie.analysis.exception

Methods in pascal.taie.analysis.exception with parameters of type Invoke

Modifier and Type	Method	Description
Set<ClassType>	ThrowResult.mayThrowExplicitly(Invoke invoke)

Uses of Invoke in pascal.taie.analysis.graph.callgraph

Methods in pascal.taie.analysis.graph.callgraph that return types with arguments of type Invoke

Modifier and Type	Method	Description
CallGraph<Invoke,JMethod>	CallGraphBuilder.analyze()

Methods in pascal.taie.analysis.graph.callgraph with parameters of type Invoke

Modifier and Type	Method	Description
static CallKind	CallGraphs.getCallKind(Invoke invoke)
JMethod	DefaultCallGraph.getContainerOf(Invoke invoke)
static JMethod	CallGraphs.resolveCallee(Type type, Invoke callSite)
static String	CallGraphs.toString(Invoke invoke)

Method parameters in pascal.taie.analysis.graph.callgraph with type arguments of type Invoke

Modifier and Type	Method	Description
boolean	DefaultCallGraph.addEdge(Edge<Invoke,JMethod> edge)	Adds a new call graph edge to this call graph.

Uses of Invoke in pascal.taie.analysis.graph.flowgraph

Constructor parameters in pascal.taie.analysis.graph.flowgraph with type arguments of type Invoke

Modifier	Constructor	Description
	ObjectFlowGraph(PointerFlowGraph pfg, CallGraph<Invoke,JMethod> callGraph)

Uses of Invoke in pascal.taie.analysis.pta

Methods in pascal.taie.analysis.pta that return types with arguments of type Invoke

Modifier and Type	Method	Description
CallGraph<Invoke,JMethod>	PointerAnalysisResult.getCallGraph()
CallGraph<Invoke,JMethod>	PointerAnalysisResultImpl.getCallGraph()

Uses of Invoke in pascal.taie.analysis.pta.core.cs.element

Methods in pascal.taie.analysis.pta.core.cs.element that return Invoke

Modifier and Type	Method	Description
Invoke	CSCallSite.getCallSite()

Methods in pascal.taie.analysis.pta.core.cs.element with parameters of type Invoke

Modifier and Type	Method	Description
CSCallSite	CSManager.getCSCallSite(Context context, Invoke callSite)
CSCallSite	MapBasedCSManager.getCSCallSite(Context context, Invoke callSite)

Uses of Invoke in pascal.taie.analysis.pta.plugin

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

Modifier and Type	Method	Description
void	CompositePlugin.onUnresolvedCall(CSObj recv, Context context, Invoke invoke)
default void	Plugin.onUnresolvedCall(CSObj recv, Context context, Invoke invoke)	Invoked when pointer analysis failed to resolve callee (i.e., resolve to null) on a receiver object.

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

Methods in pascal.taie.analysis.pta.plugin.invokedynamic with parameters of type Invoke

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)
void	LambdaAnalysis.onUnresolvedCall(CSObj recv, Context context, Invoke invoke)

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

Methods in pascal.taie.analysis.pta.plugin.natives with parameters of type Invoke

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

Fields in pascal.taie.analysis.pta.plugin.reflection with type parameters of type Invoke

Modifier and Type	Field	Description
protected final Set<Invoke>	InferenceModel.invokesWithLog
protected final Set<Invoke>	InferenceModel.invokesWithLog

Methods in pascal.taie.analysis.pta.plugin.reflection with parameters of type Invoke

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)
static String	ReflectionAnalysis.getShortName(Invoke invoke)
void	ReflectiveActionModel.methodInvoke(Context context, Invoke invoke, PointsToSet mtdObjs, PointsToSet recvObjs)
void	SolarModel.methodInvoke(Context context, Invoke invoke, PointsToSet mtdObjs, PointsToSet recvObjs)

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

Fields in pascal.taie.analysis.pta.plugin.util with type parameters of type Invoke

Modifier and Type	Field	Description
protected final Map<JMethod,Function<Invoke,Collection<Stmt>>>	AbstractIRModel.handlers	Deprecated.
protected final Map<JMethod,TriConsumer<CSVar,PointsToSet,Invoke>>	AbstractModel.handlers	Deprecated.
protected final MultiMap<Var,Invoke>	AbstractModel.relevantVars	Deprecated.
protected final MultiMap<Var,Invoke>	AnalysisModelPlugin.relevantVars

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

Modifier and Type	Method	Description
protected List<PointsToSet>	AbstractModel.getArgs(CSVar csVar, PointsToSet pts, Invoke invoke, int... indexes)	Deprecated. For invocation r = v.foo(a0, a1, ..., an); when points-to set of v or any ai (0 ≤ i ≤ n) changes, this convenient method returns points-to sets relevant arguments.
static Var	InvokeUtils.getVar(Invoke callSite, int index)	Retrieves variable from a call site and index.
void	AbstractModel.handleNewInvoke(Invoke invoke)	Deprecated.
void	Model.handleNewInvoke(Invoke invoke)	Deprecated.

Method parameters in pascal.taie.analysis.pta.plugin.util with type arguments of type Invoke

Modifier and Type	Method	Description
protected void	AbstractModel.registerAPIHandler(JMethod api, TriConsumer<CSVar,PointsToSet,Invoke> handler)	Deprecated.
protected void	AbstractIRModel.registerHandler(JMethod api, Function<Invoke,Collection<Stmt>> handler)	Deprecated.

Uses of Invoke in pascal.taie.ir

Methods in pascal.taie.ir that return types with arguments of type Invoke

Modifier and Type	Method	Description
default Stream<Invoke>	IR.invokes(boolean includeIndy)	Convenient method to obtain Invokes in this IR.

Methods in pascal.taie.ir with parameters of type Invoke

Modifier and Type	Method	Description
static String	IRPrinter.toString(Invoke invoke)

Uses of Invoke in pascal.taie.ir.exp

Methods in pascal.taie.ir.exp that return types with arguments of type Invoke

Modifier and Type	Method	Description
List<Invoke>	Var.getInvokes()

Methods in pascal.taie.ir.exp with parameters of type Invoke

Modifier and Type	Method	Description
void	Var.addInvoke(Invoke invoke)

Uses of Invoke in pascal.taie.ir.stmt

Methods in pascal.taie.ir.stmt with parameters of type Invoke

Modifier and Type	Method	Description
int	Invoke.compareTo(Invoke other)
default T	StmtVisitor.visit(Invoke stmt)