Package pascal.taie.analysis.pta.core.solver

Class PointerFlowGraph

java.lang.Object

pascal.taie.analysis.pta.core.solver.PointerFlowGraph

All Implemented Interfaces:

Serializable, Iterable<Pointer>, Graph<Pointer>

public class PointerFlowGraph
extends Object
implements Graph<Pointer>

Represents pointer flow graph in context-sensitive pointer analysis.

See Also:

• Serialized Form

Method Summary

Modifier and Type	Method	Description
PointerFlowEdge	addEdge(PointerFlowEdge edge)	Adds a pointer flow edge and returns the edge in the PFG.
Set<? extends Edge<Pointer>>	getInEdgesOf(Pointer node)
Set<Pointer>	getNodes()
Set<PointerFlowEdge>	getOutEdgesOf(Pointer pointer)
Set<Pointer>	getPredsOf(Pointer node)
Set<Pointer>	getSuccsOf(Pointer node)
Stream<Pointer>	pointers()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface pascal.taie.util.graph.Graph

getInDegreeOf, getNumberOfNodes, getOutDegreeOf, hasEdge, hasEdge, hasNode, iterator

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Details

addEdge

public PointerFlowEdge addEdge(PointerFlowEdge edge)

Adds a pointer flow edge and returns the edge in the PFG. If the edge to add already exists, then

• if the edge is of FlowKind.OTHER, returns the existing edge;
• otherwise, returns null, meaning that the edge does not need to be processed again.

getInEdgesOf

public Set<? extends Edge<Pointer>> getInEdgesOf(Pointer node)

Specified by:

getInEdgesOf in interface Graph<Pointer>

Returns:

incoming edges of the given node.

getOutEdgesOf

public Set<PointerFlowEdge> getOutEdgesOf(Pointer pointer)

Specified by:

getOutEdgesOf in interface Graph<Pointer>

Returns:

outgoing edges of the given node.

pointers

public Stream<Pointer> pointers()

getPredsOf

public Set<Pointer> getPredsOf(Pointer node)

Specified by:

getPredsOf in interface Graph<Pointer>

Returns:

the predecessors of given node in this graph.

getSuccsOf

public Set<Pointer> getSuccsOf(Pointer node)

Specified by:

getSuccsOf in interface Graph<Pointer>

Returns:

the successors of given node in this graph.

getNodes

public Set<Pointer> getNodes()

Specified by:

getNodes in interface Graph<Pointer>

Returns:

all nodes of this graph.