boomerang.solver

Class BackwardBoomerangSolver<W extends wpds.impl.Weight>

java.lang.Object

sync.pds.solver.SyncPDSSolver<ControlFlowGraph.Edge,Val,Field,W>

boomerang.solver.AbstractBoomerangSolver<W>

boomerang.solver.BackwardBoomerangSolver<W>

public abstract class BackwardBoomerangSolver<W extends wpds.impl.Weight>
extends AbstractBoomerangSolver<W>

Nested Class Summary

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

sync.pds.solver.SyncPDSSolver.OnAddedSummaryListener<Stmt,Fact>, sync.pds.solver.SyncPDSSolver.PDSSystem

Field Summary

Fields inherited from class boomerang.solver.AbstractBoomerangSolver

cfg, dataFlowScope, generatedFieldState, icfg, INTERPROCEDURAL, options, perStatementFieldTransitions, type

Fields inherited from class sync.pds.solver.SyncPDSSolver

callAutomaton, callingPDS, fieldAutomaton, fieldPDS, generatedCallState

Constructor Summary

Constructors

Constructor and Description

BackwardBoomerangSolver(ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, Map<Map.Entry<sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,Field>,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> genField, BackwardQuery query, BoomerangOptions options, wpds.impl.NestedWeightedPAutomatons<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>,W> callSummaries, wpds.impl.NestedWeightedPAutomatons<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W> fieldSummaries, DataFlowScope scope, IBackwardFlowFunction backwardFlowFunction, com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements, com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements, Type propagationType)

Method Summary

Modifier and Type	Method and Description
void	applyCallSummary(ControlFlowGraph.Edge callSiteEdge, Val factAtSpInCallee, ControlFlowGraph.Edge spInCallee, ControlFlowGraph.Edge exitStmt, Val exitingFact)
protected void	callFlow(Method caller, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr, Statement callSite)
protected Collection<? extends wpds.interfaces.State>	computeCallFlow(ControlFlowGraph.Edge callSiteEdge, Val fact, Method callee, ControlFlowGraph.Edge calleeStartEdge)
protected Collection<wpds.interfaces.State>	computeNormalFlow(Method method, ControlFlowGraph.Edge currEdge, Val fact)
protected Collection<? extends wpds.interfaces.State>	computeReturnFlow(Method method, Statement callerReturnStatement, Val value)
void	computeSuccessor(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node)
sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>	generateFieldState(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> d, Field loc)
protected void	normalFlow(Method method, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> currNode)
void	processPush(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr, wpds.interfaces.Location location, sync.pds.solver.nodes.PushNode<ControlFlowGraph.Edge,Val,?> succ, sync.pds.solver.SyncPDSSolver.PDSSystem system)
protected void	propagateUnbalancedToCallSite(Statement callSite, wpds.impl.Transition<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>> transInCallee)
String	toString()

Methods inherited from class boomerang.solver.AbstractBoomerangSolver

addCallRule, addFieldRule, addPotentialUnbalancedFlow, allowUnbalanced, asStatementValWeightTable, createQueryNodeField, debugFieldAutomaton, emptyField, epsilonField, epsilonStmt, exclusionFieldWildCard, fieldWildCard, forceUnbalanced, getCallAutomaton, getCallPDS, getFieldAutomaton, getFieldPDS, getNumberOfRules, getResults, getResultsAt, isMatchingCallSiteCalleePair, preventCallTransitionAdd, preventFieldTransitionAdd, reachesNodeWithEmptyField, registerFieldTransitionListener, registerStatementCallTransitionListener, registerStatementFieldTransitionListener, returnFlow, synchedEmptyStackReachable, synchedReachable, unregisterAllListeners

Methods inherited from class sync.pds.solver.SyncPDSSolver

addApplySummaryListener, addGeneratedFieldState, addNormalCallFlow, addNormalFieldFlow, asFieldFact, debugOutput, generateCallState, getCallWeights, getFieldWeights, getReachedStates, processNode, processNormal, processPop, propagate, registerListener, registerListener, solve, solve, wrap

Methods inherited from class java.lang.Object

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

Constructor Detail

BackwardBoomerangSolver

public BackwardBoomerangSolver(ObservableICFG<Statement,Method> icfg,
                               ObservableControlFlowGraph cfg,
                               Map<Map.Entry<sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,Field>,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> genField,
                               BackwardQuery query,
                               BoomerangOptions options,
                               wpds.impl.NestedWeightedPAutomatons<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>,W> callSummaries,
                               wpds.impl.NestedWeightedPAutomatons<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W> fieldSummaries,
                               DataFlowScope scope,
                               IBackwardFlowFunction backwardFlowFunction,
                               com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements,
                               com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements,
                               Type propagationType)

Method Detail

generateFieldState

public sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> generateFieldState(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> d,
                                                                                                             Field loc)

Overrides:

generateFieldState in class AbstractBoomerangSolver<W extends wpds.impl.Weight>

computeReturnFlow

protected Collection<? extends wpds.interfaces.State> computeReturnFlow(Method method,
                                                                        Statement callerReturnStatement,
                                                                        Val value)

Specified by:

computeReturnFlow in class AbstractBoomerangSolver<W extends wpds.impl.Weight>

callFlow

protected void callFlow(Method caller,
                        sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr,
                        Statement callSite)

computeSuccessor

public void computeSuccessor(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node)

Specified by:

computeSuccessor in class sync.pds.solver.SyncPDSSolver<ControlFlowGraph.Edge,Val,Field,W extends wpds.impl.Weight>

normalFlow

protected void normalFlow(Method method,
                          sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> currNode)

computeCallFlow

protected Collection<? extends wpds.interfaces.State> computeCallFlow(ControlFlowGraph.Edge callSiteEdge,
                                                                      Val fact,
                                                                      Method callee,
                                                                      ControlFlowGraph.Edge calleeStartEdge)

processPush

public void processPush(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr,
                        wpds.interfaces.Location location,
                        sync.pds.solver.nodes.PushNode<ControlFlowGraph.Edge,Val,?> succ,
                        sync.pds.solver.SyncPDSSolver.PDSSystem system)

Overrides:

processPush in class sync.pds.solver.SyncPDSSolver<ControlFlowGraph.Edge,Val,Field,W extends wpds.impl.Weight>

computeNormalFlow

protected Collection<wpds.interfaces.State> computeNormalFlow(Method method,
                                                              ControlFlowGraph.Edge currEdge,
                                                              Val fact)

Specified by:

computeNormalFlow in class AbstractBoomerangSolver<W extends wpds.impl.Weight>

applyCallSummary

public void applyCallSummary(ControlFlowGraph.Edge callSiteEdge,
                             Val factAtSpInCallee,
                             ControlFlowGraph.Edge spInCallee,
                             ControlFlowGraph.Edge exitStmt,
                             Val exitingFact)

Specified by:

applyCallSummary in class sync.pds.solver.SyncPDSSolver<ControlFlowGraph.Edge,Val,Field,W extends wpds.impl.Weight>

propagateUnbalancedToCallSite

protected void propagateUnbalancedToCallSite(Statement callSite,
                                             wpds.impl.Transition<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>> transInCallee)

Specified by:

propagateUnbalancedToCallSite in class AbstractBoomerangSolver<W extends wpds.impl.Weight>

toString

public String toString()

Overrides:

toString in class Object