public class OnFlyCallGraph
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected QueueReader<Edge> |
callEdges |
protected CallGraph |
callGraph |
protected OnFlyCallGraphBuilder |
ofcgb |
protected ReachableMethods |
reachableMethods |
protected QueueReader<MethodOrMethodContext> |
reachablesReader |
Constructor and Description |
---|
OnFlyCallGraph(PAG pag,
boolean appOnly) |
Modifier and Type | Method and Description |
---|---|
void |
build() |
CallGraph |
callGraph() |
void |
mergedWith(Node n1,
Node n2)
Node uses this to notify PAG that n2 has been merged into n1.
|
OnFlyCallGraphBuilder |
ofcgb() |
ReachableMethods |
reachableMethods() |
void |
updatedFieldRef(AllocDotField df,
PointsToSetInternal ptsi) |
void |
updatedNode(VarNode vn) |
protected final OnFlyCallGraphBuilder ofcgb
protected final ReachableMethods reachableMethods
protected final QueueReader<MethodOrMethodContext> reachablesReader
protected final QueueReader<Edge> callEdges
protected final CallGraph callGraph
public OnFlyCallGraph(PAG pag, boolean appOnly)
public ReachableMethods reachableMethods()
public CallGraph callGraph()
public void build()
public OnFlyCallGraphBuilder ofcgb()
public void updatedFieldRef(AllocDotField df, PointsToSetInternal ptsi)
public void updatedNode(VarNode vn)