public class PropMerge extends Propagator
| Modifier and Type | Field and Description |
|---|---|
protected PAG |
pag |
protected Set<Node> |
varNodeWorkList |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
handleAllocNode(AllocNode src)
Propagates new points-to information of node src to all its successors.
|
protected boolean |
handleVarNode(VarNode src)
Propagates new points-to information of node src to all its successors.
|
void |
propagate()
Actually does the propagation.
|
public PropMerge(PAG pag)
public void propagate()
propagate in class Propagatorprotected boolean handleAllocNode(AllocNode src)
protected boolean handleVarNode(VarNode src)
Copyright © 2020 Soot OSS. All rights reserved.