| Package | Description |
|---|---|
| boomerang | |
| boomerang.results |
| Modifier and Type | Method and Description |
|---|---|
DefaultValueMap<BackwardQuery,BackwardBoomerangSolver<W>> |
WeightedBoomerang.getBackwardSolvers() |
DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> |
WeightedBoomerang.getSolvers() |
| Modifier and Type | Field and Description |
|---|---|
protected DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> |
AbstractBoomerangResults.queryToSolvers |
| Constructor and Description |
|---|
AbstractBoomerangResults(DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> solverMap) |
BackwardBoomerangResults(BackwardQuery query,
boolean timedout,
DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers,
BackwardBoomerangSolver<W> backwardSolver,
IBoomerangStats<W> stats,
com.google.common.base.Stopwatch analysisWatch) |
ForwardBoomerangResults(ForwardQuery query,
ObservableICFG<Statement,Method> icfg,
ObservableControlFlowGraph cfg,
boolean timedout,
DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers,
IBoomerangStats<W> stats,
com.google.common.base.Stopwatch analysisWatch,
Set<Method> visitedMethods,
boolean trackDataFlowPath,
boolean pruneContradictoryDataFlowPath,
boolean pruneImplictFlows) |
Copyright © 2024. All rights reserved.