Package soot.jimple.spark.solver

Class PropIter

java.lang.Object

soot.jimple.spark.solver.Propagator

soot.jimple.spark.solver.PropIter

public class PropIter
extends Propagator

Propagates points-to sets along pointer assignment graph using iteration.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field	Description
protected PAG	pag

Constructor Summary

Constructors

Constructor	Description
PropIter(PAG pag)

Method Summary

Modifier and Type	Method	Description
protected boolean	handleAllocNode(AllocNode src)	Propagates new points-to information of node src to all its successors.
protected boolean	handleLoads(FieldRefNode src)
protected boolean	handleNewInstances(NewInstanceNode src)
protected boolean	handleSimples(VarNode src)
protected boolean	handleStores(VarNode src)
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

pag

protected PAG pag

Constructor Detail

PropIter

public PropIter(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.

handleSimples

protected boolean handleSimples(VarNode src)

handleStores

protected boolean handleStores(VarNode src)

handleLoads

protected boolean handleLoads(FieldRefNode src)

handleNewInstances

protected boolean handleNewInstances(NewInstanceNode src)