public class OnFlyCallGraph extends Object
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) |
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)