boomerang.solver

Class AbstractBoomerangSolver<W extends Weight>

java.lang.Object

sync.pds.solver.SyncPDSSolver<Statement,Val,Field,W>

boomerang.solver.AbstractBoomerangSolver<W>

Direct Known Subclasses:

BackwardBoomerangSolver, ForwardBoomerangSolver

public abstract class AbstractBoomerangSolver<W extends Weight>
extends SyncPDSSolver<Statement,Val,Field,W>

Nested Class Summary

Nested classes/interfaces inherited from class sync.pds.solver.SyncPDSSolver

SyncPDSSolver.PDSSystem

Field Summary

Fields

Modifier and Type	Field and Description
protected Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>>	generatedFieldState
protected ObservableICFG<soot.Unit,soot.SootMethod>	icfg
protected boolean	INTERPROCEDURAL
protected static org.slf4j.Logger	logger
protected BoomerangOptions	options
protected Query	query

Fields inherited from class sync.pds.solver.SyncPDSSolver

callAutomaton, callingPDS, fieldAutomaton, fieldPDS, generatedCallState

Constructor Summary

Constructors

Constructor and Description
AbstractBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, Query query, Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField, BoomerangOptions options, NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries, NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)

Method Summary

Modifier and Type	Method and Description
void	addCallRule(Rule<Statement,INode<Val>,W> rule)
void	addFieldRule(Rule<Field,INode<Node<Statement,Val>>,W> rule)
void	addReachable(soot.SootMethod m)
static boolean	assignsValue(soot.jimple.Stmt u, Val value)
void	cleanup()
protected abstract Collection<State>	computeNormalFlow(soot.SootMethod method, soot.jimple.Stmt curr, Val value, soot.jimple.Stmt succ)
protected abstract Collection<? extends State>	computeReturnFlow(soot.SootMethod method, soot.jimple.Stmt curr, Val value, soot.jimple.Stmt callSite, soot.jimple.Stmt returnSite)
void	debugFieldAutomaton(Statement stmt)
Field	emptyField()
Field	epsilonField()
Statement	epsilonStmt()
Field	exclusionFieldWildCard(Field exclusion)
Field	fieldWildCard()
INode<Node<Statement,Val>>	generateFieldState(INode<Node<Statement,Val>> d, Field loc)
WeightedPAutomaton<Statement,INode<Val>,W>	getCallAutomaton()
WeightedPushdownSystem<Statement,INode<Val>,W>	getCallPDS()
protected abstract Collection<? extends State>	getEmptyCalleeFlow(soot.SootMethod caller, soot.jimple.Stmt callSite, Val value, soot.jimple.Stmt returnSite)
WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W>	getFieldAutomaton()
WeightedPushdownSystem<Field,INode<Node<Statement,Val>>,W>	getFieldPDS()
protected Field	getLoadedField(soot.jimple.Stmt curr)
int	getNumberOfRules()
Set<Statement>	getPredsOf(Statement stmt)
Collection<soot.SootMethod>	getReachableMethods()
com.google.common.collect.Table<Statement,RegExAccessPath,W>	getResults(soot.SootMethod m)
Map<RegExAccessPath,W>	getResultsAt(Statement stmt)
Set<Statement>	getSuccsOf(Statement stmt)
Map<Transition<Statement,INode<Val>>,W>	getTransitionsToFinalWeights()
Set<Val>	getValsAtStatement(Statement exitStmt)
Set<soot.SootMethod>	getVisitedMethods()
protected Field	getWrittenField(soot.jimple.Stmt curr)
protected boolean	isFieldLoadWithBase(soot.jimple.Stmt curr, Val base)
protected boolean	isFieldWriteWithBase(soot.jimple.Stmt curr, Val base)
protected boolean	isIdentityFlow(Val value, soot.jimple.Stmt succ, soot.SootMethod method, Collection<State> out)
boolean	isParameter(Val value, soot.jimple.Stmt u)
protected abstract boolean	killFlow(soot.SootMethod method, soot.jimple.Stmt curr, Val value)
protected boolean	preventCallTransitionAdd(Transition<Statement,INode<Val>> t, W weight)
protected boolean	preventFieldTransitionAdd(Transition<Field,INode<Node<Statement,Val>>> t, W weight)
protected void	processNode(Node<Statement,Val> witnessNode)
void	registerFieldTransitionListener(MethodBasedFieldTransitionListener<W> l)
void	registerReachableMethodListener(ReachableMethodListener<W> reachableMethodListener)
void	registerStatementCallTransitionListener(StatementBasedCallTransitionListener<W> l)
void	registerStatementFieldTransitionListener(StatementBasedFieldTransitionListener<W> l)
protected void	returnFlow(soot.SootMethod method, Node<Statement,Val> currNode)
void	submit(soot.SootMethod method, Runnable runnable)
String	toString()
boolean	valueUsedInStatement(soot.jimple.Stmt u, Val value)

Methods inherited from class sync.pds.solver.SyncPDSSolver

addGeneratedFieldState, addNormalCallFlow, addNormalFieldFlow, asFieldFact, computeSuccessor, debugOutput, generateCallState, getCallWeights, getFieldWeights, getReachedStates, onManyStateListenerRegister, processNormal, processPop, processPush, propagate, registerListener, registerListener, solve, solve, synchedEmptyStackReachable, synchedReachable, wrap

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

logger

protected static final org.slf4j.Logger logger

icfg

protected final ObservableICFG<soot.Unit,soot.SootMethod> icfg

query

protected final Query query

INTERPROCEDURAL

protected boolean INTERPROCEDURAL

generatedFieldState

protected final Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> generatedFieldState

options

protected final BoomerangOptions options

Constructor Detail

AbstractBoomerangSolver

public AbstractBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg,
                               Query query,
                               Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField,
                               BoomerangOptions options,
                               NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries,
                               NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries)

Method Detail

preventCallTransitionAdd

protected boolean preventCallTransitionAdd(Transition<Statement,INode<Val>> t,
                                           W weight)

Overrides:

preventCallTransitionAdd in class SyncPDSSolver<Statement,Val,Field,W extends Weight>

addCallRule

public void addCallRule(Rule<Statement,INode<Val>,W> rule)

Overrides:

addCallRule in class SyncPDSSolver<Statement,Val,Field,W extends Weight>

addFieldRule

public void addFieldRule(Rule<Field,INode<Node<Statement,Val>>,W> rule)

Overrides:

addFieldRule in class SyncPDSSolver<Statement,Val,Field,W extends Weight>

registerFieldTransitionListener

public void registerFieldTransitionListener(MethodBasedFieldTransitionListener<W> l)

registerStatementFieldTransitionListener

public void registerStatementFieldTransitionListener(StatementBasedFieldTransitionListener<W> l)

registerStatementCallTransitionListener

public void registerStatementCallTransitionListener(StatementBasedCallTransitionListener<W> l)

generateFieldState

public INode<Node<Statement,Val>> generateFieldState(INode<Node<Statement,Val>> d,
                                                     Field loc)

Overrides:

generateFieldState in class SyncPDSSolver<Statement,Val,Field,W extends Weight>

isIdentityFlow

protected boolean isIdentityFlow(Val value,
                                 soot.jimple.Stmt succ,
                                 soot.SootMethod method,
                                 Collection<State> out)

getWrittenField

protected Field getWrittenField(soot.jimple.Stmt curr)

isFieldWriteWithBase

protected boolean isFieldWriteWithBase(soot.jimple.Stmt curr,
                                       Val base)

getLoadedField

protected Field getLoadedField(soot.jimple.Stmt curr)

isFieldLoadWithBase

protected boolean isFieldLoadWithBase(soot.jimple.Stmt curr,
                                      Val base)

killFlow

protected abstract boolean killFlow(soot.SootMethod method,
                                    soot.jimple.Stmt curr,
                                    Val value)

valueUsedInStatement

public boolean valueUsedInStatement(soot.jimple.Stmt u,
                                    Val value)

isParameter

public boolean isParameter(Val value,
                           soot.jimple.Stmt u)

assignsValue

public static boolean assignsValue(soot.jimple.Stmt u,
                                   Val value)

computeReturnFlow

protected abstract Collection<? extends State> computeReturnFlow(soot.SootMethod method,
                                                                 soot.jimple.Stmt curr,
                                                                 Val value,
                                                                 soot.jimple.Stmt callSite,
                                                                 soot.jimple.Stmt returnSite)

returnFlow

protected void returnFlow(soot.SootMethod method,
                          Node<Statement,Val> currNode)

getEmptyCalleeFlow

protected abstract Collection<? extends State> getEmptyCalleeFlow(soot.SootMethod caller,
                                                                  soot.jimple.Stmt callSite,
                                                                  Val value,
                                                                  soot.jimple.Stmt returnSite)

computeNormalFlow

protected abstract Collection<State> computeNormalFlow(soot.SootMethod method,
                                                       soot.jimple.Stmt curr,
                                                       Val value,
                                                       soot.jimple.Stmt succ)

epsilonField

public Field epsilonField()

Specified by:

epsilonField in class SyncPDSSolver<Statement,Val,Field,W extends Weight>

emptyField

public Field emptyField()

Specified by:

emptyField in class SyncPDSSolver<Statement,Val,Field,W extends Weight>

epsilonStmt

public Statement epsilonStmt()

Specified by:

epsilonStmt in class SyncPDSSolver<Statement,Val,Field,W extends Weight>

fieldWildCard

public Field fieldWildCard()

Specified by:

fieldWildCard in class SyncPDSSolver<Statement,Val,Field,W extends Weight>

exclusionFieldWildCard

public Field exclusionFieldWildCard(Field exclusion)

Specified by:

exclusionFieldWildCard in class SyncPDSSolver<Statement,Val,Field,W extends Weight>

getFieldAutomaton

public WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> getFieldAutomaton()

getCallAutomaton

public WeightedPAutomaton<Statement,INode<Val>,W> getCallAutomaton()

getCallPDS

public WeightedPushdownSystem<Statement,INode<Val>,W> getCallPDS()

getFieldPDS

public WeightedPushdownSystem<Field,INode<Node<Statement,Val>>,W> getFieldPDS()

processNode

protected void processNode(Node<Statement,Val> witnessNode)

Overrides:

processNode in class SyncPDSSolver<Statement,Val,Field,W extends Weight>

getSuccsOf

public Set<Statement> getSuccsOf(Statement stmt)

getPredsOf

public Set<Statement> getPredsOf(Statement stmt)

toString

public String toString()

Overrides:

toString in class Object

getTransitionsToFinalWeights

public Map<Transition<Statement,INode<Val>>,W> getTransitionsToFinalWeights()

getNumberOfRules

public int getNumberOfRules()

preventFieldTransitionAdd

protected boolean preventFieldTransitionAdd(Transition<Field,INode<Node<Statement,Val>>> t,
                                            W weight)

Overrides:

preventFieldTransitionAdd in class SyncPDSSolver<Statement,Val,Field,W extends Weight>

addReachable

public void addReachable(soot.SootMethod m)

submit

public void submit(soot.SootMethod method,
                   Runnable runnable)

registerReachableMethodListener

public void registerReachableMethodListener(ReachableMethodListener<W> reachableMethodListener)

getResultsAt

public Map<RegExAccessPath,W> getResultsAt(Statement stmt)

getResults

public com.google.common.collect.Table<Statement,RegExAccessPath,W> getResults(soot.SootMethod m)

debugFieldAutomaton

public void debugFieldAutomaton(Statement stmt)

getReachableMethods

public Collection<soot.SootMethod> getReachableMethods()

cleanup

public void cleanup()

getVisitedMethods

public Set<soot.SootMethod> getVisitedMethods()

getValsAtStatement

public Set<Val> getValsAtStatement(Statement exitStmt)