Uses of Class
pascal.taie.analysis.pta.core.solver.PointerFlowEdge

Packages that use PointerFlowEdge

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 PointerFlowEdge in pascal.taie.analysis.pta.core.cs.element

Methods in pascal.taie.analysis.pta.core.cs.element that return PointerFlowEdge

Modifier and Type	Method	Description
PointerFlowEdge	Pointer.addEdge(PointerFlowEdge edge)	Adds a pointer flow edge and returns the edge in the PFG.

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

Modifier and Type	Method	Description
Set<PointerFlowEdge>	Pointer.getOutEdges()

Methods in pascal.taie.analysis.pta.core.cs.element with parameters of type PointerFlowEdge

Modifier and Type	Method	Description
PointerFlowEdge	Pointer.addEdge(PointerFlowEdge edge)	Adds a pointer flow edge and returns the edge in the PFG.

Method parameters in pascal.taie.analysis.pta.core.cs.element with type arguments of type PointerFlowEdge

Modifier and Type	Method	Description
void	Pointer.removeEdgesIf(Predicate<PointerFlowEdge> filter)	Removes out edges of this pointer if they satisfy the filter.

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

Subclasses of PointerFlowEdge in pascal.taie.analysis.pta.core.solver

Modifier and Type	Class	Description
class	OtherEdge	Base class for flow edges of FlowKind.OTHER.

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

Modifier and Type	Method	Description
PointerFlowEdge	PointerFlowGraph.addEdge(PointerFlowEdge edge)	Adds a pointer flow edge and returns the edge in the PFG.

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

Modifier and Type	Method	Description
Set<PointerFlowEdge>	PointerFlowGraph.getOutEdgesOf(Pointer pointer)

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

Modifier and Type	Method	Description
PointerFlowEdge	PointerFlowGraph.addEdge(PointerFlowEdge edge)	Adds a pointer flow edge and returns the edge in the PFG.
void	DefaultSolver.addPFGEdge(PointerFlowEdge edge, Transfer transfer)
default void	Solver.addPFGEdge(PointerFlowEdge edge)	Adds a pointer flow edge to the PFG.
void	Solver.addPFGEdge(PointerFlowEdge edge, Transfer transfer)	Adds a pointer flow edge (with edge transfer) to the PFG.
default void	Solver.addPFGEdge(PointerFlowEdge edge, Type type)	Adds a pointer flow edge (with type filer) to the PFG.
PointsToSet	Identity.apply(PointerFlowEdge edge, PointsToSet input)
PointsToSet	Transfer.apply(PointerFlowEdge edge, PointsToSet input)	Transfer function on a pointer flow edge.
PointsToSet	TypeFilter.apply(PointerFlowEdge edge, PointsToSet input)