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

Packages that use Pointer

Package	Description
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.

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

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

Modifier and Type	Class	Description
class	ArrayIndex	Represents array index pointers.
class	CSVar	Represents context-sensitive variables.
class	InstanceField	Represents instance field pointers.
class	StaticField	Represents static field pointers.

Methods in pascal.taie.analysis.pta.core.cs.element that return types with arguments of type Pointer

Modifier and Type	Method	Description
Stream<Pointer>	CSManager.pointers()
Stream<Pointer>	MapBasedCSManager.pointers()

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

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

Modifier and Type	Method	Description
Pointer	PointerFlowEdge.source()
Pointer	PointerFlowEdge.target()

Methods in pascal.taie.analysis.pta.core.solver that return types with arguments of type Pointer

Modifier and Type	Method	Description
Set<? extends Edge<Pointer>>	PointerFlowGraph.getInEdgesOf(Pointer node)
Set<Pointer>	PointerFlowGraph.getNodes()
Set<Pointer>	PointerFlowGraph.getPredsOf(Pointer node)
Set<Pointer>	PointerFlowGraph.getSuccsOf(Pointer node)
Stream<Pointer>	PointerFlowGraph.pointers()

Methods in pascal.taie.analysis.pta.core.solver with parameters of type Pointer

Modifier and Type	Method	Description
default void	Solver.addPFGEdge(Pointer source, Pointer target, FlowKind kind)	Adds an edge "source -> target" to the PFG.
default void	Solver.addPFGEdge(Pointer source, Pointer target, FlowKind kind, Transfer transfer)	Deprecated. Use Solver.addPFGEdge(PointerFlowEdge, Transfer) instead.
default void	Solver.addPFGEdge(Pointer source, Pointer target, FlowKind kind, Type type)	Deprecated. Use Solver.addPFGEdge(PointerFlowEdge, Type) instead.
void	DefaultSolver.addPointerFilter(Pointer pointer, Predicate<CSObj> filter)
void	Solver.addPointerFilter(Pointer pointer, Predicate<CSObj> filter)	Adds an object filter to given pointer.
void	DefaultSolver.addPointsTo(Pointer pointer, Context heapContext, Obj obj)
void	DefaultSolver.addPointsTo(Pointer pointer, CSObj csObj)
void	DefaultSolver.addPointsTo(Pointer pointer, PointsToSet pts)
void	Solver.addPointsTo(Pointer pointer, Context heapContext, Obj obj)
void	Solver.addPointsTo(Pointer pointer, CSObj csObj)
default void	Solver.addPointsTo(Pointer pointer, Obj obj)	Convenient API to add points-to relation for object with empty heap context.
void	Solver.addPointsTo(Pointer pointer, PointsToSet pts)
Set<? extends Edge<Pointer>>	PointerFlowGraph.getInEdgesOf(Pointer node)
Set<PointerFlowEdge>	PointerFlowGraph.getOutEdgesOf(Pointer pointer)
PointsToSet	DefaultSolver.getPointsToSetOf(Pointer pointer)
PointsToSet	Solver.getPointsToSetOf(Pointer pointer)	Returns the points-to set of given pointer.
Set<Pointer>	PointerFlowGraph.getPredsOf(Pointer node)
Set<Pointer>	PointerFlowGraph.getSuccsOf(Pointer node)

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

Modifier	Constructor	Description
protected	OtherEdge(Pointer source, Pointer target)
	PointerFlowEdge(FlowKind kind, Pointer source, Pointer target)