boomerang

Class WholeProgramBoomerang<W extends wpds.impl.Weight>

java.lang.Object

boomerang.WeightedBoomerang<W>

boomerang.WholeProgramBoomerang<W>

public abstract class WholeProgramBoomerang<W extends wpds.impl.Weight>
extends WeightedBoomerang<W>

Nested Class Summary

Nested classes/interfaces inherited from class boomerang.WeightedBoomerang

WeightedBoomerang.FieldWritePOI

Field Summary

Fields inherited from class boomerang.WeightedBoomerang

cfg, icfg, options

Constructor Summary

Constructors

Constructor and Description
WholeProgramBoomerang(CallGraph cg, DataFlowScope scope)
WholeProgramBoomerang(CallGraph cg, DataFlowScope scope, BoomerangOptions opts)

Method Summary

Modifier and Type	Method and Description
protected void	backwardSolve(BackwardQuery query)
void	wholeProgramAnalysis()

Methods inherited from class boomerang.WeightedBoomerang

activateAllPois, addVisitedMethod, cfg, checkTimeout, createArrayFieldStore, createFieldStore, createForwardSolver, debugOutput, debugOutput, forwardHandleFieldWrite, getBackwardCallWeights, getBackwardFieldWeights, getBackwardSolvers, getCallGraph, getForwardCallWeights, getForwardFieldWeights, getOptions, getQueryGraph, getResults, getSolvers, getStats, getVisitedMethods, handleMapsBackward, handleMapsForward, icfg, isAllocationNode, isFirstStatementOfEntryPoint, onCreateSubSolver, preventCallRuleAdd, printAllAutomata, printAllBackwardCallAutomatonFlow, printAllForwardCallAutomatonFlow, printAutomata, printCallAutomatonFlow, registerActivationListener, registerSolverCreationListener, solve, solve, solve, solveUnderScope, solveUnderScope, unregisterAllListeners

Methods inherited from class java.lang.Object

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

Constructor Detail

WholeProgramBoomerang

public WholeProgramBoomerang(CallGraph cg,
                             DataFlowScope scope,
                             BoomerangOptions opts)

WholeProgramBoomerang

public WholeProgramBoomerang(CallGraph cg,
                             DataFlowScope scope)

Method Detail

wholeProgramAnalysis

public void wholeProgramAnalysis()

backwardSolve

protected void backwardSolve(BackwardQuery query)

Overrides:

backwardSolve in class WeightedBoomerang<W extends wpds.impl.Weight>