boomerang.solver

Class BackwardBoomerangSolver<W extends Weight>

java.lang.Object

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

boomerang.solver.AbstractBoomerangSolver<W>

boomerang.solver.BackwardBoomerangSolver<W>

public abstract class BackwardBoomerangSolver<W extends Weight>
extends AbstractBoomerangSolver<W>

Nested Class Summary

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

SyncPDSSolver.PDSSystem

Field Summary

Fields inherited from class boomerang.solver.AbstractBoomerangSolver

generatedFieldState, icfg, INTERPROCEDURAL, logger, options, query

Fields inherited from class sync.pds.solver.SyncPDSSolver

callAutomaton, callingPDS, fieldAutomaton, fieldPDS, generatedCallState

Constructor Summary

Constructors

Constructor and Description
BackwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, BackwardQuery 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
protected void	callFlow(soot.SootMethod caller, Node<Statement,Val> curr)
protected Collection<? extends State>	computeCallFlow(soot.SootMethod caller, Statement returnSite, Statement callSite, soot.jimple.InvokeExpr invokeExpr, Val fact, soot.SootMethod callee, soot.jimple.Stmt calleeSp)
protected Collection<State>	computeNormalFlow(soot.SootMethod method, soot.jimple.Stmt curr, Val fact, soot.jimple.Stmt succ)
protected Collection<? extends State>	computeReturnFlow(soot.SootMethod method, soot.jimple.Stmt curr, Val value, soot.jimple.Stmt callSite, soot.jimple.Stmt returnSite)
void	computeSuccessor(Node<Statement,Val> node)
INode<Node<Statement,Val>>	generateFieldState(INode<Node<Statement,Val>> d, Field loc)
protected boolean	killFlow(soot.SootMethod m, soot.jimple.Stmt curr, Val value)
protected void	normalFlow(soot.SootMethod method, Node<Statement,Val> currNode)

Methods inherited from class boomerang.solver.AbstractBoomerangSolver

addCallRule, addFieldRule, addReachable, assignsValue, cleanup, debugFieldAutomaton, emptyField, epsilonField, epsilonStmt, exclusionFieldWildCard, fieldWildCard, getCallAutomaton, getCallPDS, getEmptyCalleeFlow, getFieldAutomaton, getFieldPDS, getLoadedField, getNumberOfRules, getPredsOf, getReachableMethods, getResults, getResultsAt, getSuccsOf, getTransitionsToFinalWeights, getValsAtStatement, getVisitedMethods, getWrittenField, isFieldLoadWithBase, isFieldWriteWithBase, isIdentityFlow, isParameter, preventCallTransitionAdd, preventFieldTransitionAdd, processNode, registerFieldTransitionListener, registerReachableMethodListener, registerStatementCallTransitionListener, registerStatementFieldTransitionListener, returnFlow, submit, toString, valueUsedInStatement

Methods inherited from class sync.pds.solver.SyncPDSSolver

addGeneratedFieldState, addNormalCallFlow, addNormalFieldFlow, asFieldFact, 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

Constructor Detail

BackwardBoomerangSolver

public BackwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg,
                               BackwardQuery 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

killFlow

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

Specified by:

killFlow in class AbstractBoomerangSolver<W extends Weight>

generateFieldState

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

Overrides:

generateFieldState in class AbstractBoomerangSolver<W extends Weight>

computeReturnFlow

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

Specified by:

computeReturnFlow in class AbstractBoomerangSolver<W extends Weight>

callFlow

protected void callFlow(soot.SootMethod caller,
                        Node<Statement,Val> curr)

computeSuccessor

public void computeSuccessor(Node<Statement,Val> node)

Specified by:

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

normalFlow

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

computeCallFlow

protected Collection<? extends State> computeCallFlow(soot.SootMethod caller,
                                                      Statement returnSite,
                                                      Statement callSite,
                                                      soot.jimple.InvokeExpr invokeExpr,
                                                      Val fact,
                                                      soot.SootMethod callee,
                                                      soot.jimple.Stmt calleeSp)

computeNormalFlow

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

Specified by:

computeNormalFlow in class AbstractBoomerangSolver<W extends Weight>