boomerang

Class Boomerang

java.lang.Object

boomerang.WeightedBoomerang<Weight.NoWeight>

boomerang.Boomerang

public abstract class Boomerang
extends WeightedBoomerang<Weight.NoWeight>

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
Boomerang()
Boomerang(BoomerangOptions opt)

Method Summary

Modifier and Type	Method and Description
Debugger<Weight.NoWeight>	createDebugger()
protected WeightFunctions<Statement,Val,Statement,Weight.NoWeight>	getBackwardCallWeights()
protected WeightFunctions<Statement,Val,Field,Weight.NoWeight>	getBackwardFieldWeights()
protected WeightFunctions<Statement,Val,Statement,Weight.NoWeight>	getForwardCallWeights(ForwardQuery sourceQuery)
protected WeightFunctions<Statement,Val,Field,Weight.NoWeight>	getForwardFieldWeights()

Methods inherited from class boomerang.WeightedBoomerang

activateAllPois, backwardHandleFieldRead, backwardSolve, backwardSolveUnderScope, backwardSolveUnderScope, checkTimeout, createArrayFieldLoad, createArrayFieldStore, createBackwardSolver, createFieldLoad, createFieldStore, createForwardSolver, createPOI, debugOutput, forwardHandleFieldWrite, getOptions, getOrCreateDebugger, getResults, getSeedFactory, 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

Boomerang

public Boomerang()

Boomerang

public Boomerang(BoomerangOptions opt)

Method Detail

getForwardFieldWeights

protected WeightFunctions<Statement,Val,Field,Weight.NoWeight> getForwardFieldWeights()

Specified by:

getForwardFieldWeights in class WeightedBoomerang<Weight.NoWeight>

getBackwardFieldWeights

protected WeightFunctions<Statement,Val,Field,Weight.NoWeight> getBackwardFieldWeights()

Specified by:

getBackwardFieldWeights in class WeightedBoomerang<Weight.NoWeight>

getBackwardCallWeights

protected WeightFunctions<Statement,Val,Statement,Weight.NoWeight> getBackwardCallWeights()

Specified by:

getBackwardCallWeights in class WeightedBoomerang<Weight.NoWeight>

getForwardCallWeights

protected WeightFunctions<Statement,Val,Statement,Weight.NoWeight> getForwardCallWeights(ForwardQuery sourceQuery)

Specified by:

getForwardCallWeights in class WeightedBoomerang<Weight.NoWeight>

createDebugger

public Debugger<Weight.NoWeight> createDebugger()

Specified by:

createDebugger in class WeightedBoomerang<Weight.NoWeight>