boomerang.weights

Class PathTrackingBoomerang

java.lang.Object

boomerang.WeightedBoomerang<DataFlowPathWeight>

boomerang.weights.PathTrackingBoomerang

public abstract class PathTrackingBoomerang
extends WeightedBoomerang<DataFlowPathWeight>

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

Method Summary

Modifier and Type	Method and Description
Debugger<DataFlowPathWeight>	createDebugger()
protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>	getBackwardCallWeights()
protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight>	getBackwardFieldWeights()
protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>	getForwardCallWeights(ForwardQuery sourceQuery)
protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight>	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

PathTrackingBoomerang

public PathTrackingBoomerang()

PathTrackingBoomerang

public PathTrackingBoomerang(BoomerangOptions opt)

Method Detail

getForwardFieldWeights

protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight> getForwardFieldWeights()

Specified by:

getForwardFieldWeights in class WeightedBoomerang<DataFlowPathWeight>

getBackwardFieldWeights

protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight> getBackwardFieldWeights()

Specified by:

getBackwardFieldWeights in class WeightedBoomerang<DataFlowPathWeight>

getBackwardCallWeights

protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight> getBackwardCallWeights()

Specified by:

getBackwardCallWeights in class WeightedBoomerang<DataFlowPathWeight>

getForwardCallWeights

protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight> getForwardCallWeights(ForwardQuery sourceQuery)

Specified by:

getForwardCallWeights in class WeightedBoomerang<DataFlowPathWeight>

createDebugger

public Debugger<DataFlowPathWeight> createDebugger()

Specified by:

createDebugger in class WeightedBoomerang<DataFlowPathWeight>