Package 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 Description PathTrackingBoomerang(CallGraph cg, DataFlowScope scope)PathTrackingBoomerang(CallGraph cg, DataFlowScope scope, BoomerangOptions opt)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
-
-
-
-
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:
getForwardFieldWeightsin classWeightedBoomerang<DataFlowPathWeight>
-
getBackwardFieldWeights
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,DataFlowPathWeight> getBackwardFieldWeights()
- Specified by:
getBackwardFieldWeightsin classWeightedBoomerang<DataFlowPathWeight>
-
getBackwardCallWeights
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight> getBackwardCallWeights()
- Specified by:
getBackwardCallWeightsin classWeightedBoomerang<DataFlowPathWeight>
-
getForwardCallWeights
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight> getForwardCallWeights(ForwardQuery sourceQuery)
- Specified by:
getForwardCallWeightsin classWeightedBoomerang<DataFlowPathWeight>
-
-