Package boomerang
Class Boomerang
- java.lang.Object
-
- boomerang.WeightedBoomerang<wpds.impl.Weight.NoWeight>
-
- boomerang.Boomerang
-
public class Boomerang extends WeightedBoomerang<wpds.impl.Weight.NoWeight>
-
-
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 Boomerang(CallGraph callGraph, DataFlowScope scope)Boomerang(CallGraph callGraph, 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,wpds.impl.Weight.NoWeight>getBackwardCallWeights()protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,wpds.impl.Weight.NoWeight>getBackwardFieldWeights()protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,wpds.impl.Weight.NoWeight>getForwardCallWeights(ForwardQuery sourceQuery)protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,wpds.impl.Weight.NoWeight>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
-
Boomerang
public Boomerang(CallGraph callGraph, DataFlowScope scope)
-
Boomerang
public Boomerang(CallGraph callGraph, DataFlowScope scope, BoomerangOptions opt)
-
-
Method Detail
-
getForwardFieldWeights
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,wpds.impl.Weight.NoWeight> getForwardFieldWeights()
- Specified by:
getForwardFieldWeightsin classWeightedBoomerang<wpds.impl.Weight.NoWeight>
-
getBackwardFieldWeights
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,wpds.impl.Weight.NoWeight> getBackwardFieldWeights()
- Specified by:
getBackwardFieldWeightsin classWeightedBoomerang<wpds.impl.Weight.NoWeight>
-
getBackwardCallWeights
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,wpds.impl.Weight.NoWeight> getBackwardCallWeights()
- Specified by:
getBackwardCallWeightsin classWeightedBoomerang<wpds.impl.Weight.NoWeight>
-
getForwardCallWeights
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,wpds.impl.Weight.NoWeight> getForwardCallWeights(ForwardQuery sourceQuery)
- Specified by:
getForwardCallWeightsin classWeightedBoomerang<wpds.impl.Weight.NoWeight>
-
-