Uses of Class
pascal.taie.analysis.pta.core.cs.element.CSCallSite
Package
Description
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 various context selectors, which correspond to various
context sensitivity variants.
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
Provide plugin interface of pointer analysis and
some instances (implementations).
-
Uses of CSCallSite in pascal.taie.analysis.pta
Modifier and TypeMethodDescriptionPointerAnalysisResult.getCSCallGraph()
PointerAnalysisResultImpl.getCSCallGraph()
ModifierConstructorDescriptionPointerAnalysisResultImpl
(PropagateTypes propTypes, CSManager csManager, Indexer<Obj> objIndexer, CallGraph<CSCallSite, CSMethod> csCallGraph, PointerFlowGraph pfg) -
Uses of CSCallSite in pascal.taie.analysis.pta.core.cs
Modifier and TypeMethodDescriptionCSCallGraph.edges()
CSCallGraph.edgesOutOf
(CSCallSite csCallSite) CSCallGraph.getCallersOf
(CSMethod callee) CSCallGraph.getCallSitesIn
(CSMethod csMethod) Modifier and TypeMethodDescriptionCSCallGraph.edgesOutOf
(CSCallSite csCallSite) CSCallGraph.getCalleesOf
(CSCallSite csCallSite) CSCallGraph.getContainerOf
(CSCallSite csCallSite) Modifier and TypeMethodDescriptionboolean
CSCallGraph.addEdge
(Edge<CSCallSite, CSMethod> edge) Adds a new call graph edge to this call graph. -
Uses of CSCallSite in pascal.taie.analysis.pta.core.cs.element
Modifier and TypeMethodDescriptionCSManager.getCSCallSite
(Context context, Invoke callSite) MapBasedCSManager.getCSCallSite
(Context context, Invoke callSite) Modifier and TypeMethodDescriptionboolean
CSCallSite.addEdge
(Edge<CSCallSite, CSMethod> edge) void
CSMethod.addEdge
(Edge<CSCallSite, CSMethod> edge) -
Uses of CSCallSite in pascal.taie.analysis.pta.core.cs.selector
Modifier and TypeMethodDescriptionContextSelector.selectContext
(CSCallSite callSite, CSObj recv, JMethod callee) Selects contexts for instance methods.ContextSelector.selectContext
(CSCallSite callSite, JMethod callee) Selects contexts for static methods. -
Uses of CSCallSite 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 CSCallSite 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 CSCallSite 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 CSCallSite 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 CSCallSite 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 CSCallSite in pascal.taie.analysis.pta.plugin.reflection
Modifier and TypeMethodDescriptionvoid
ReflectiveActionModel.onNewCallEdge
(Edge<CSCallSite, CSMethod> edge)