PropMerge (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.jimple.spark.solver.Propagator
- - soot.jimple.spark.solver.PropMerge

```
public class PropMerge
extends Propagator
```
Propagates points-to sets along pointer assignment graph using a merging of field reference (Red) nodes to improve scalability.

Author:

Ondrej Lhotak

Field Summary

Fields
Modifier and Type Field Description

protected PAG pag

protected Set<Node> varNodeWorkList

Constructor Summary

Constructors
Constructor Description

PropMerge(PAG pag)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - varNodeWorkList
```
protected final Set<Node> varNodeWorkList
```
  - pag
```
protected PAG pag
```
- Constructor Detail
  - PropMerge
```
public PropMerge(PAG pag)
```
- Method Detail
  - propagate
```
public void propagate()
```
    Actually does the propagation.
    
    Specified by:
    
    propagate in class Propagator
  - handleAllocNode
```
protected boolean handleAllocNode(AllocNode src)
```
    Propagates new points-to information of node src to all its successors.
  - handleVarNode
```
protected boolean handleVarNode(VarNode src)
```
    Propagates new points-to information of node src to all its successors.