boomerang

Class WholeProgramBoomerang<W extends Weight>

java.lang.Object

boomerang.WeightedBoomerang<W>

boomerang.WholeProgramBoomerang<W>

public abstract class WholeProgramBoomerang<W extends Weight>
extends WeightedBoomerang<W>

Nested Class Summary

Nested classes/interfaces inherited from class boomerang.WeightedBoomerang

WeightedBoomerang.FieldReadPOI, WeightedBoomerang.FieldWritePOI

Field Summary

Fields inherited from class boomerang.WeightedBoomerang

DEBUG, icfg, options

Constructor Summary

Constructors

Constructor and Description
WholeProgramBoomerang()
WholeProgramBoomerang(BoomerangOptions opts)

Method Summary

Modifier and Type	Method and Description
protected void	backwardSolve(BackwardQuery query)
BackwardBoomerangResults<W>	backwardSolveUnderScope(BackwardQuery backwardQuery, ForwardQuery forwardQuery, Node<Statement,Val> node)
SeedFactory<W>	getSeedFactory()
void	wholeProgramAnalysis()

Methods inherited from class boomerang.WeightedBoomerang

activateAllPois, backwardHandleFieldRead, backwardSolveUnderScope, checkTimeout, createArrayFieldLoad, createArrayFieldStore, createBackwardSolver, createDebugger, createFieldLoad, createFieldStore, createForwardSolver, createPOI, debugOutput, forwardHandleFieldWrite, getBackwardCallWeights, getBackwardFieldWeights, getForwardCallWeights, getForwardFieldWeights, getOptions, getOrCreateDebugger, getResults, getSolvers, getStats, hasNoMethod, icfg, isAllocationNode, isArrayLoad, isArrayStore, isBackwardEnterCall, isFieldLoad, isFieldStore, isFirstStatementOfEntryPoint, onCreateSubSolver, preventCallRuleAdd, registerActivationListener, registerSolverCreationListener, solve, solve, solve

Methods inherited from class java.lang.Object

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

Constructor Detail

WholeProgramBoomerang

public WholeProgramBoomerang(BoomerangOptions opts)

WholeProgramBoomerang

public WholeProgramBoomerang()

Method Detail

getSeedFactory

public SeedFactory<W> getSeedFactory()

Overrides:

getSeedFactory in class WeightedBoomerang<W extends Weight>

wholeProgramAnalysis

public void wholeProgramAnalysis()

backwardSolve

protected void backwardSolve(BackwardQuery query)

Overrides:

backwardSolve in class WeightedBoomerang<W extends Weight>

backwardSolveUnderScope

public BackwardBoomerangResults<W> backwardSolveUnderScope(BackwardQuery backwardQuery,
                                                           ForwardQuery forwardQuery,
                                                           Node<Statement,Val> node)

Overrides:

backwardSolveUnderScope in class WeightedBoomerang<W extends Weight>