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.getOrAddEdge(FlowKind kind, Pointer source, Pointer target)	Adds a pointer flow edge source -> target, and returns the edge.

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()

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

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

Modifier and Type	Method	Description
PointerFlowEdge	PointerFlowGraph.getOrAddEdge(FlowKind kind, Pointer source, Pointer target)	Adds a pointer flow edge source -> target, and returns the edge.

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
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)