| Package | Description |
|---|---|
| boomerang | |
| boomerang.debugger | |
| boomerang.poi | |
| boomerang.results | |
| boomerang.seedfactory | |
| boomerang.solver | |
| boomerang.stats |
| Modifier and Type | Class and Description |
|---|---|
class |
BackwardQuery |
class |
ForwardQuery |
class |
WeightedForwardQuery<W extends Weight> |
| Modifier and Type | Method and Description |
|---|---|
heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>> |
WeightedBoomerang.getSolvers() |
| Modifier and Type | Method and Description |
|---|---|
void |
WeightedBoomerang.FieldWritePOI.execute(ForwardQuery baseAllocation,
Query flowAllocation) |
void |
WeightedBoomerang.FieldReadPOI.execute(ForwardQuery baseAllocation,
Query flowAllocation) |
com.google.common.collect.Table<Statement,Val,W> |
WeightedBoomerang.getResults(Query seed) |
void |
SolverCreationListener.onCreatedSolver(Query query,
AbstractBoomerangSolver<W> solver) |
void |
WeightedBoomerang.onCreateSubSolver(Query key,
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 | Method and Description |
|---|---|
void |
PointOfIndirection.addFlowAllocation(Query flowAllocation) |
abstract void |
PointOfIndirection.execute(ForwardQuery baseAllocation,
Query flowAllocation) |
| Modifier and Type | Field and Description |
|---|---|
protected heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>> |
AbstractBoomerangResults.queryToSolvers |
| Modifier and Type | Method and Description |
|---|---|
boolean |
BackwardBoomerangResults.aliases(Query el) |
| 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 | Method and Description |
|---|---|
Collection<Query> |
SeedFactory.computeSeeds() |
Collection<Query> |
SimpleSeedFactory.computeSeeds() |
protected abstract Collection<? extends Query> |
SeedFactory.generate(soot.SootMethod method,
soot.jimple.Stmt u) |
protected abstract Collection<? extends Query> |
SimpleSeedFactory.generate(soot.SootMethod method,
soot.jimple.Stmt u,
Collection<soot.SootMethod> calledMethods) |
| Modifier and Type | Method and Description |
|---|---|
Collection<soot.SootMethod> |
SeedFactory.getMethodScope(Query query) |
| Modifier and Type | Field and Description |
|---|---|
protected Query |
AbstractBoomerangSolver.query |
| Constructor and Description |
|---|
AbstractBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg,
Query query,
Map<Map.Entry<INode<Node<Statement,Val>>,Field>,INode<Node<Statement,Val>>> genField,
BoomerangOptions options,
NestedWeightedPAutomatons<Statement,INode<Val>,W> callSummaries,
NestedWeightedPAutomatons<Field,INode<Node<Statement,Val>>,W> fieldSummaries) |
| 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.