soot.jimple.spark.solver

Class PropAlias

java.lang.Object

soot.jimple.spark.solver.Propagator

soot.jimple.spark.solver.PropAlias

public final class PropAlias
extends Propagator

Propagates points-to sets along pointer assignment graph using a relevant aliases.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field and Description
protected MultiMap<FieldRefNode,FieldRefNode>	aliasEdges
protected java.util.Set<VarNode>	aliasWorkList
protected java.util.Set<FieldRefNode>	fieldRefWorkList
protected MultiMap<SparkField,VarNode>	fieldToBase
protected LargeNumberedMap<FieldRefNode,PointsToSetInternal>	loadSets
protected OnFlyCallGraph	ofcg
protected java.util.Set<FieldRefNode>	outFieldRefWorkList
protected PAG	pag
protected java.util.Set<VarNode>	varNodeWorkList

Constructor Summary

Constructors

Constructor and Description
PropAlias(PAG pag)

Method Summary

Methods

Modifier and Type	Method and Description
protected PointsToSetInternal	getP2Set(FieldRefNode n)
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.
protected PointsToSetInternal	makeP2Set(FieldRefNode n)
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 java.util.Set<VarNode> varNodeWorkList

aliasWorkList

protected java.util.Set<VarNode> aliasWorkList

fieldRefWorkList

protected java.util.Set<FieldRefNode> fieldRefWorkList

outFieldRefWorkList

protected java.util.Set<FieldRefNode> outFieldRefWorkList

pag

protected PAG pag

fieldToBase

protected MultiMap<SparkField,VarNode> fieldToBase

aliasEdges

protected MultiMap<FieldRefNode,FieldRefNode> aliasEdges

loadSets

protected LargeNumberedMap<FieldRefNode,PointsToSetInternal> loadSets

ofcg

protected OnFlyCallGraph ofcg

Constructor Detail

PropAlias

public PropAlias(PAG pag)

Method Detail

propagate

public final void propagate()

Actually does the propagation.

Specified by:

propagate in class Propagator

handleAllocNode

protected final boolean handleAllocNode(AllocNode src)

Propagates new points-to information of node src to all its successors.

handleVarNode

protected final boolean handleVarNode(VarNode src)

Propagates new points-to information of node src to all its successors.

makeP2Set

protected final PointsToSetInternal makeP2Set(FieldRefNode n)

getP2Set

protected final PointsToSetInternal getP2Set(FieldRefNode n)