Uses of Class
pascal.taie.analysis.pta.core.cs.element.CSMethod
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 CSMethod 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 CSMethod in pascal.taie.analysis.pta.core.cs
Modifier and TypeMethodDescriptionCSCallGraph.edges()
CSCallGraph.edgesOutOf
(CSCallSite csCallSite) CSCallGraph.getCalleesOf
(CSCallSite csCallSite) Modifier and TypeMethodDescriptionvoid
CSCallGraph.addEntryMethod
(CSMethod entryMethod) Adds an entry method to this call graph.boolean
CSCallGraph.addReachableMethod
(CSMethod csMethod) Adds a reachable method to this call graph.CSCallGraph.getCallersOf
(CSMethod callee) CSCallGraph.getCallSitesIn
(CSMethod csMethod) Modifier and TypeMethodDescriptionboolean
CSCallGraph.addEdge
(Edge<CSCallSite, CSMethod> edge) Adds a new call graph edge to this call graph. -
Uses of CSMethod in pascal.taie.analysis.pta.core.cs.element
Modifier and TypeMethodDescriptionCSCallSite.getContainer()
CSManager.getCSMethod
(Context context, JMethod method) MapBasedCSManager.getCSMethod
(Context context, JMethod method) Modifier and TypeMethodDescriptionboolean
CSCallSite.addEdge
(Edge<CSCallSite, CSMethod> edge) void
CSMethod.addEdge
(Edge<CSCallSite, CSMethod> edge) -
Uses of CSMethod in pascal.taie.analysis.pta.core.cs.selector
Modifier and TypeMethodDescriptionContextSelector.selectHeapContext
(CSMethod method, Obj obj) Selects heap contexts for new-created abstract objects. -
Uses of CSMethod in pascal.taie.analysis.pta.core.solver
Modifier and TypeMethodDescriptionvoid
DefaultSolver.addCSMethod
(CSMethod csMethod) void
Solver.addCSMethod
(CSMethod csMethod) Adds a context-sensitive method.void
DefaultSolver.addStmts
(CSMethod csMethod, Collection<Stmt> stmts) void
Solver.addStmts
(CSMethod csMethod, Collection<Stmt> stmts) Adds stmts to the analyzed program.Modifier and TypeMethodDescriptionvoid
DefaultSolver.addCallEdge
(Edge<CSCallSite, CSMethod> edge) void
Solver.addCallEdge
(Edge<CSCallSite, CSMethod> edge) Adds a call edge. -
Uses of CSMethod in pascal.taie.analysis.pta.plugin
Modifier and TypeMethodDescriptionvoid
CompositePlugin.onNewCSMethod
(CSMethod csMethod) void
ConstraintChecker.onNewCSMethod
(CSMethod csMethod) void
NullHandler.onNewCSMethod
(CSMethod csMethod) void
NumberLiteralHandler.onNewCSMethod
(CSMethod csMethod) default void
Plugin.onNewCSMethod
(CSMethod csMethod) Invoked when a new reachable context-sensitive method is discovered.void
ReferenceHandler.onNewCSMethod
(CSMethod csMethod) void
ThreadHandler.onNewCSMethod
(CSMethod csMethod) 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 CSMethod 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 CSMethod in pascal.taie.analysis.pta.plugin.invokedynamic
Modifier and TypeMethodDescriptionvoid
InvokeDynamicAnalysis.onNewCSMethod
(CSMethod csMethod) void
Java9StringConcatHandler.onNewCSMethod
(CSMethod csMethod) void
LambdaAnalysis.onNewCSMethod
(CSMethod csMethod) Modifier and TypeMethodDescriptionvoid
InvokeDynamicAnalysis.onNewCallEdge
(Edge<CSCallSite, CSMethod> edge) void
LambdaAnalysis.onNewCallEdge
(Edge<CSCallSite, CSMethod> edge) -
Uses of CSMethod 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 CSMethod in pascal.taie.analysis.pta.plugin.reflection
Modifier and TypeMethodDescriptionvoid
ReflectiveActionModel.onNewCallEdge
(Edge<CSCallSite, CSMethod> edge) -
Uses of CSMethod in pascal.taie.analysis.pta.plugin.util
Modifier and TypeMethodDescriptionvoid
AbstractIRModel.handleNewCSMethod
(CSMethod csMethod) Deprecated.void
IRModel.handleNewCSMethod
(CSMethod csMethod) Deprecated.void
IRModelPlugin.onNewCSMethod
(CSMethod csMethod)