Uses of Interface
pascal.taie.analysis.pta.core.cs.selector.ContextSelector

Packages that use ContextSelector

Package	Description
pascal.taie.analysis.pta.core.cs.selector	Provide various context selectors, which correspond to various context sensitivity variants.
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 ContextSelector in pascal.taie.analysis.pta.core.cs.selector

Methods in pascal.taie.analysis.pta.core.cs.selector that return ContextSelector

Modifier and Type	Method	Description
static ContextSelector	ContextSelectorFactory.makeCISelector()
static ContextSelector	ContextSelectorFactory.makeGuidedSelector(Map<JMethod,String> csMap)
static ContextSelector	ContextSelectorFactory.makePlainSelector(String cs)
static ContextSelector	ContextSelectorFactory.makeSelectiveSelector(String cs, Predicate<JMethod> isCSMethod, Predicate<Obj> isCSObj)
static ContextSelector	ContextSelectorFactory.makeSelectiveSelector(String cs, Set<JMethod> csMethods)

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

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

Modifier and Type	Method	Description
ContextSelector	DefaultSolver.getContextSelector()
ContextSelector	Solver.getContextSelector()

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

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

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

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

Modifier and Type	Field	Description
protected final ContextSelector	SolverHolder.selector