| Package | Description |
|---|---|
| boomerang | |
| boomerang.debugger | |
| boomerang.poi | |
| boomerang.results | |
| boomerang.solver | |
| boomerang.stats |
| Modifier and Type | Method and Description |
|---|---|
protected AbstractBoomerangSolver<W> |
WeightedBoomerang.createBackwardSolver(BackwardQuery backwardQuery) |
| Modifier and Type | Method and Description |
|---|---|
heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>> |
WeightedBoomerang.getSolvers() |
| Modifier and Type | Method and Description |
|---|---|
void |
WeightedBoomerang.createPOI(soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod> icfg,
AbstractBoomerangSolver<W> baseSolver,
AbstractBoomerangSolver<W> flowSolver,
WeightedBoomerang.FieldReadPOI fieldReadPOI,
Statement succ) |
void |
WeightedBoomerang.createPOI(soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod> icfg,
AbstractBoomerangSolver<W> baseSolver,
AbstractBoomerangSolver<W> flowSolver,
WeightedBoomerang.FieldReadPOI fieldReadPOI,
Statement succ) |
void |
SolverCreationListener.onCreatedSolver(Query query,
AbstractBoomerangSolver<W> solver) |
void |
WeightedBoomerang.onCreateSubSolver(Query key,
AbstractBoomerangSolver<W> solver) |
void |
UnbalancedPopHandler.trigger(Statement callStatement,
AbstractBoomerangSolver<W> solver) |
| Modifier and Type | Method and Description |
|---|---|
void |
Debugger.done(Map<Query,AbstractBoomerangSolver<W>> queryToSolvers) |
void |
IDEVizDebugger.done(Map<Query,AbstractBoomerangSolver<W>> solvers) |
void |
ConsoleDebugger.done(Map<Query,AbstractBoomerangSolver<W>> queryToSolvers) |
void |
CallGraphDebugger.done(Map<Query,AbstractBoomerangSolver<W>> queryToSolvers) |
| Modifier and Type | Field and Description |
|---|---|
protected AbstractBoomerangSolver<W> |
ExecuteImportFieldStmtPOI.baseSolver |
protected AbstractBoomerangSolver<W> |
ExecuteImportFieldStmtPOI.flowSolver |
| Constructor and Description |
|---|
ExecuteImportFieldStmtPOI(WeightedBoomerang<W> boomerang,
AbstractBoomerangSolver<W> baseSolver,
AbstractBoomerangSolver<W> flowSolver,
AbstractPOI<Statement,Val,Field> poi,
Statement succ) |
ExecuteImportFieldStmtPOI(WeightedBoomerang<W> boomerang,
AbstractBoomerangSolver<W> baseSolver,
AbstractBoomerangSolver<W> flowSolver,
AbstractPOI<Statement,Val,Field> poi,
Statement succ) |
| Modifier and Type | Field and Description |
|---|---|
protected heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>> |
AbstractBoomerangResults.queryToSolvers |
| Constructor and Description |
|---|
ExtractAllAliasListener(AbstractBoomerangSolver<W> fwSolver,
Set<AccessPath> results,
Statement stmt) |
| Constructor and Description |
|---|
AbstractBoomerangResults(heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>> solverMap) |
BackwardBoomerangResults(BackwardQuery query,
boolean timedout,
heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>> queryToSolvers,
IBoomerangStats<W> stats,
com.google.common.base.Stopwatch analysisWatch) |
ForwardBoomerangResults(ForwardQuery query,
ObservableICFG<soot.Unit,soot.SootMethod> icfg,
boolean timedout,
heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>> queryToSolvers,
IBoomerangStats<W> stats,
com.google.common.base.Stopwatch analysisWatch) |
| Modifier and Type | Class and Description |
|---|---|
class |
BackwardBoomerangSolver<W extends Weight> |
class |
ForwardBoomerangSolver<W extends Weight> |
| Modifier and Type | Method and Description |
|---|---|
void |
IBoomerangStats.registerSolver(Query key,
AbstractBoomerangSolver<W> solver) |
void |
SimpleBoomerangStats.registerSolver(Query key,
AbstractBoomerangSolver<W> solver) |
void |
CSVBoomerangStatsWriter.registerSolver(Query key,
AbstractBoomerangSolver<W> solver) |
void |
AdvancedBoomerangStats.registerSolver(Query key,
AbstractBoomerangSolver<W> solver) |
Copyright © 2023. All rights reserved.