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.taint
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(CSVar csVar, PointsToSet pts, Invoke invoke)
void	LookupModel.findStatic(CSVar csVar, PointsToSet pts, Invoke invoke)
void	LookupModel.findVirtual(CSVar csVar, PointsToSet pts, Invoke invoke)
void	MethodTypeModel.methodType1Class(CSVar csVar, PointsToSet pts, Invoke invoke)
void	MethodTypeModel.methodType2Classes(CSVar csVar, PointsToSet pts, Invoke invoke)
void	MethodTypeModel.methodTypeClassMT(CSVar csVar, PointsToSet pts, Invoke invoke)
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(CSVar csVar, PointsToSet pts, Invoke invoke)
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)
void	ReflectiveActionModel.classNewInstance(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.classNewInstance(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.collectUnsoundArrayNewInstance(CSVar csVar, PointsToSet pts, Invoke invoke)
void	ReflectiveActionModel.constructorNewInstance(CSVar csVar, PointsToSet pts, Invoke invoke)
void	ReflectiveActionModel.fieldGet(CSVar csVar, PointsToSet pts, Invoke invoke)
void	ReflectiveActionModel.fieldSet(CSVar csVar, PointsToSet pts, Invoke invoke)
void	OthersModel.getAnnotation(CSVar csVar, PointsToSet pts, Invoke invoke)
void	OthersModel.getClass(CSVar csVar, PointsToSet pts, Invoke invoke)
void	OthersModel.getParameterAnnotations(CSVar csVar, PointsToSet pts, Invoke invoke)
void	OthersModel.getPrimitiveClass(CSVar csVar, PointsToSet pts, Invoke invoke)
void	ReflectiveActionModel.methodInvoke(CSVar csVar, PointsToSet pts, Invoke invoke)
void	SolarModel.methodInvoke(CSVar csVar, PointsToSet pts, Invoke invoke)
void	ReflectionAnalysis.onUnresolvedCall(CSObj recv, Context context, Invoke invoke)

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

Methods in pascal.taie.analysis.pta.plugin.taint that return Invoke

Modifier and Type	Method	Description
Invoke	SinkPoint.sinkCall()	Returns the value of the sinkCall record component.
Invoke	CallSourcePoint.sourceCall()	Returns the value of the sourceCall record component.

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

Modifier	Constructor	Description
	CallSourcePoint(Invoke sourceCall, int index)	Creates an instance of a CallSourcePoint record class.
	SinkPoint(Invoke sinkCall, int index)	Creates an instance of a SinkPoint record class.

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
protected final Map<JMethod,TriConsumer<CSVar,PointsToSet,Invoke>>	AbstractModel.handlers
protected final MultiMap<Var,Invoke>	AbstractModel.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)	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 String	Reflections.getShortName(Invoke invoke)
static Var	InvokeUtils.getVar(Invoke callSite, int index)	Retrieves variable from a call site and index.
void	AbstractModel.handleNewInvoke(Invoke invoke)
void	DummyModel.handleNewInvoke(Invoke invoke)
void	Model.handleNewInvoke(Invoke invoke)

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)
protected void	AbstractIRModel.registerHandler(JMethod api, Function<Invoke,Collection<Stmt>> handler)

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)