| Package | Description |
|---|---|
| boomerang | |
| boomerang.callgraph | |
| boomerang.debugger | |
| boomerang.results | |
| boomerang.seedfactory | |
| boomerang.solver |
| Modifier and Type | Field and Description |
|---|---|
protected ObservableICFG<soot.Unit,soot.SootMethod> |
WeightedBoomerang.icfg |
| Modifier and Type | Method and Description |
|---|---|
abstract ObservableICFG<soot.Unit,soot.SootMethod> |
WeightedBoomerang.icfg() |
| Modifier and Type | Method and Description |
|---|---|
com.google.common.base.Optional<AllocVal> |
BoomerangOptions.getAllocationVal(soot.SootMethod m,
soot.jimple.Stmt stmt,
Val fact,
ObservableICFG<soot.Unit,soot.SootMethod> icfg) |
com.google.common.base.Optional<AllocVal> |
DefaultBoomerangOptions.getAllocationVal(soot.SootMethod m,
soot.jimple.Stmt stmt,
Val fact,
ObservableICFG<soot.Unit,soot.SootMethod> icfg) |
com.google.common.base.Optional<AllocVal> |
IntAndStringBoomerangOptions.getAllocationVal(soot.SootMethod m,
soot.jimple.Stmt stmt,
Val fact,
ObservableICFG<soot.Unit,soot.SootMethod> icfg) |
| Modifier and Type | Class and Description |
|---|---|
class |
BackwardsObservableICFG |
class |
ObservableDynamicICFG
An interprocedural control-flow graph, for which caller-callee edges can be observed using
CalleeListener and
CallerListener. |
class |
ObservableStaticICFG
An interprocedural control-flow graph, for which caller-callee edges can be observed using
CalleeListener and
CallerListener. |
| Modifier and Type | Field and Description |
|---|---|
protected ObservableICFG<soot.Unit,soot.SootMethod> |
BackwardsObservableICFG.delegate |
| Constructor and Description |
|---|
BackwardsObservableICFG(ObservableICFG<soot.Unit,soot.SootMethod> fwOICFG) |
| Constructor and Description |
|---|
CallGraphDebugger(File dotFile,
ObservableICFG<soot.Unit,soot.SootMethod> icfg) |
IDEVizDebugger(File ideVizFile,
ObservableICFG<soot.Unit,soot.SootMethod> icfg) |
| Constructor and Description |
|---|
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 | Field and Description |
|---|---|
protected ObservableICFG<soot.Unit,soot.SootMethod> |
SimpleSeedFactory.icfg |
| Modifier and Type | Method and Description |
|---|---|
abstract ObservableICFG<soot.Unit,soot.SootMethod> |
SeedFactory.icfg() |
| Constructor and Description |
|---|
SimpleSeedFactory(ObservableICFG<soot.Unit,soot.SootMethod> icfg) |
| Modifier and Type | Field and Description |
|---|---|
protected ObservableICFG<soot.Unit,soot.SootMethod> |
AbstractBoomerangSolver.icfg |
Copyright © 2023. All rights reserved.