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
Set<? extends Edge<Pointer>>	getInEdgesOf(Pointer node)
Set<Pointer>	getNodes()
PointerFlowEdge	getOrAddEdge(FlowKind kind, Pointer source, Pointer target)	Adds a pointer flow edge source -> target, and returns the edge.
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

getOrAddEdge

public PointerFlowEdge getOrAddEdge(FlowKind kind,
 Pointer source,
 Pointer target)

Adds a pointer flow edge source -> target, and returns the edge. If the edge already exists and kind is not FlowKind.OTHER, null is returned.

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.