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.FieldWritePOI

Field Summary

Fields inherited from class boomerang.WeightedBoomerang

cfg, icfg, options

Constructor Summary

Constructors

Constructor and Description
PathTrackingBoomerang(CallGraph cg, DataFlowScope scope)
PathTrackingBoomerang(CallGraph cg, DataFlowScope scope, BoomerangOptions opt)

Method Summary

Modifier and Type	Method and Description
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight>	getBackwardCallWeights()
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,DataFlowPathWeight>	getBackwardFieldWeights()
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight>	getForwardCallWeights(ForwardQuery sourceQuery)
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,DataFlowPathWeight>	getForwardFieldWeights()

Methods inherited from class boomerang.WeightedBoomerang

activateAllPois, addVisitedMethod, backwardSolve, cfg, checkTimeout, createArrayFieldStore, createFieldStore, createForwardSolver, debugOutput, debugOutput, forwardHandleFieldWrite, getBackwardSolvers, getCallGraph, 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

PathTrackingBoomerang

public PathTrackingBoomerang(CallGraph cg,
                             DataFlowScope scope)

PathTrackingBoomerang

public PathTrackingBoomerang(CallGraph cg,
                             DataFlowScope scope,
                             BoomerangOptions opt)

Method Detail

getForwardFieldWeights

protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,DataFlowPathWeight> getForwardFieldWeights()

Specified by:

getForwardFieldWeights in class WeightedBoomerang<DataFlowPathWeight>

getBackwardFieldWeights

protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,DataFlowPathWeight> getBackwardFieldWeights()

Specified by:

getBackwardFieldWeights in class WeightedBoomerang<DataFlowPathWeight>

getBackwardCallWeights

protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight> getBackwardCallWeights()

Specified by:

getBackwardCallWeights in class WeightedBoomerang<DataFlowPathWeight>

getForwardCallWeights

protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight> getForwardCallWeights(ForwardQuery sourceQuery)

Specified by:

getForwardCallWeights in class WeightedBoomerang<DataFlowPathWeight>