Package com.ibm.wala.dataflow.IFDS
Class LocalSummaryEdges
- java.lang.Object
-
- com.ibm.wala.dataflow.IFDS.LocalSummaryEdges
-
public class LocalSummaryEdges extends Object
A set of summary edges for a particular procedure.
-
-
Constructor Summary
Constructors Constructor Description LocalSummaryEdges()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
contains(int s_p, int x, int d1, int d2)
Does a particular summary edge exist?IntSet
getInvertedSummaryEdgesForTarget(int s_p, int x, int d2)
Note: This is inefficient.IntSet
getSummaryEdges(int s_p, int x, int d1)
void
insertSummaryEdge(int s_p, int x, int d1, int d2)
Record a summary edge for the flow d1 -> d2 from an entry s_p to an exit x.
-
-
-
Method Detail
-
insertSummaryEdge
public void insertSummaryEdge(int s_p, int x, int d1, int d2)
Record a summary edge for the flow d1 -> d2 from an entry s_p to an exit x.- Parameters:
s_p
- local block number an entryx
- local block number of an exit blockd1
- source dataflow factd2
- target dataflow fact
-
contains
public boolean contains(int s_p, int x, int d1, int d2)
Does a particular summary edge exist?- Parameters:
s_p
- local block number an entryx
- local block number of an exit blockd1
- source dataflow factd2
- target dataflow fact
-
getSummaryEdges
public IntSet getSummaryEdges(int s_p, int x, int d1)
- Parameters:
s_p
- local block number an entryx
- local block number of an exit blockd1
- source dataflow fact- Returns:
- set of d2 s.t. d1->d2 recorded as a summary edge for (s_p,x), or null if none
-
getInvertedSummaryEdgesForTarget
public IntSet getInvertedSummaryEdgesForTarget(int s_p, int x, int d2)
Note: This is inefficient. Use with care.- Parameters:
s_p
- local block number an entryx
- local block number of an exit blockd2
- target dataflow fact- Returns:
- set of d1 s.t. d1->d2 recorded as a summary edge for (s_p,x), or null if none
-
-