boomerang.solver

Class ForwardBoomerangSolver<W extends Weight>

java.lang.Object

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

boomerang.solver.AbstractBoomerangSolver<W>

boomerang.solver.ForwardBoomerangSolver<W>

public abstract class ForwardBoomerangSolver<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
ForwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, ForwardQuery 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> currNode, soot.jimple.Stmt callSite, soot.jimple.InvokeExpr invokeExpr)
Collection<? extends State>	computeCallFlow(soot.SootMethod caller, Statement callSite, soot.jimple.InvokeExpr invokeExpr, Val fact, soot.SootMethod callee, soot.jimple.Stmt calleeSp)
Collection<State>	computeNormalFlow(soot.SootMethod method, soot.jimple.Stmt curr, Val fact, soot.jimple.Stmt succ)
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 Collection<State>	normalFlow(soot.SootMethod method, soot.jimple.Stmt curr, Val value)

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

ForwardBoomerangSolver

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

computeCallFlow

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

generateFieldState

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

Overrides:

generateFieldState in class AbstractBoomerangSolver<W extends Weight>

killFlow

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

Specified by:

killFlow in class AbstractBoomerangSolver<W extends Weight>

computeSuccessor

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

Specified by:

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

normalFlow

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

computeNormalFlow

public 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>

callFlow

protected void callFlow(soot.SootMethod caller,
                        Node<Statement,Val> currNode,
                        soot.jimple.Stmt callSite,
                        soot.jimple.InvokeExpr invokeExpr)

computeReturnFlow

public 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>