Uses of Class
pascal.taie.analysis.graph.callgraph.Edge
Package
Description
Provides the classes necessary to build and represent a call graph.
Provide functionality related to context sensitivity.
Provides the classes to represent and manage context-sensitive elements
used in pointer analysis, including context-sensitive pointers, objects,
call sites, and methods.
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
Provide plugin interface of pointer analysis and
some instances (implementations).
-
Uses of Edge in pascal.taie.analysis.graph.callgraph
Modifier and TypeClassDescriptionclass
OtherEdge<CallSite,
Method> Base class for call edges ofCallKind.OTHER
.Modifier and TypeFieldDescriptionAbstractCallGraph.calleeToEdges
AbstractCallGraph.callSiteToEdges
Modifier and TypeMethodDescriptionAbstractCallGraph.edges()
CallGraph.edges()
AbstractCallGraph.edgesOutOf
(CallSite callSite) CallGraph.edgesOutOf
(CallSite callSite) -
Uses of Edge in pascal.taie.analysis.pta.core.cs
Modifier and TypeMethodDescriptionCSCallGraph.edges()
CSCallGraph.edgesOutOf
(CSCallSite csCallSite) Modifier and TypeMethodDescriptionboolean
CSCallGraph.addEdge
(Edge<CSCallSite, CSMethod> edge) Adds a new call graph edge to this call graph. -
Uses of Edge in pascal.taie.analysis.pta.core.cs.element
Modifier and TypeMethodDescriptionboolean
CSCallSite.addEdge
(Edge<CSCallSite, CSMethod> edge) void
CSMethod.addEdge
(Edge<CSCallSite, CSMethod> edge) -
Uses of Edge in pascal.taie.analysis.pta.core.solver
Modifier and TypeMethodDescriptionvoid
DefaultSolver.addCallEdge
(Edge<CSCallSite, CSMethod> edge) void
Solver.addCallEdge
(Edge<CSCallSite, CSMethod> edge) Adds a call edge. -
Uses of Edge in pascal.taie.analysis.pta.plugin
Modifier and TypeMethodDescriptionvoid
CompositePlugin.onNewCallEdge
(Edge<CSCallSite, CSMethod> edge) default void
Plugin.onNewCallEdge
(Edge<CSCallSite, CSMethod> edge) Invoked when a new call graph edge is discovered. -
Uses of Edge in pascal.taie.analysis.pta.plugin.exception
Modifier and TypeMethodDescriptionvoid
ExceptionAnalysis.onNewCallEdge
(Edge<CSCallSite, CSMethod> edge) For a new call edge, the exception thrown by the callee method should be propagated to its callers, and thrown by the invoke statement, then we propagate the thrown exceptions accordingly. -
Uses of Edge in pascal.taie.analysis.pta.plugin.invokedynamic
Modifier and TypeMethodDescriptionvoid
InvokeDynamicAnalysis.onNewCallEdge
(Edge<CSCallSite, CSMethod> edge) void
LambdaAnalysis.onNewCallEdge
(Edge<CSCallSite, CSMethod> edge) -
Uses of Edge in pascal.taie.analysis.pta.plugin.natives
Modifier and TypeMethodDescriptionvoid
DoPriviledgedModel.onNewCallEdge
(Edge<CSCallSite, CSMethod> edge) Connects doPrivileged(...) invocation to the corresponding run() method which is the callee of the corresponding run(). -
Uses of Edge in pascal.taie.analysis.pta.plugin.reflection
Modifier and TypeMethodDescriptionvoid
ReflectiveActionModel.onNewCallEdge
(Edge<CSCallSite, CSMethod> edge)