Uses of Interface
pascal.taie.analysis.pta.core.cs.element.CSManager

Packages that use CSManager

Package	Description
pascal.taie.analysis.pta
pascal.taie.analysis.pta.core.cs	Provide functionality related to context sensitivity.
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.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin.util

Uses of CSManager in pascal.taie.analysis.pta

Constructors in pascal.taie.analysis.pta with parameters of type CSManager

Modifier	Constructor	Description
	PointerAnalysisResultImpl(PropagateTypes propTypes, CSManager csManager, Indexer<Obj> objIndexer, CallGraph<CSCallSite,CSMethod> csCallGraph, PointerFlowGraph pfg)

Uses of CSManager in pascal.taie.analysis.pta.core.cs

Constructors in pascal.taie.analysis.pta.core.cs with parameters of type CSManager

Modifier	Constructor	Description
	CSCallGraph(CSManager csManager)

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

Classes in pascal.taie.analysis.pta.core.cs.element that implement CSManager

Modifier and Type	Class	Description
class	MapBasedCSManager	Manages data by maintaining the data and their context-sensitive counterparts by maps.

Uses of CSManager in pascal.taie.analysis.pta.core.solver

Methods in pascal.taie.analysis.pta.core.solver that return CSManager

Modifier and Type	Method	Description
CSManager	DefaultSolver.getCSManager()
CSManager	Solver.getCSManager()

Constructors in pascal.taie.analysis.pta.core.solver with parameters of type CSManager

Modifier	Constructor	Description
	DefaultSolver(AnalysisOptions options, HeapModel heapModel, ContextSelector contextSelector, CSManager csManager)

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

Fields in pascal.taie.analysis.pta.plugin.util declared as CSManager

Modifier and Type	Field	Description
protected final CSManager	SolverHolder.csManager