Uses of Interface
boomerang.callgraph.ObservableICFG

Packages that use ObservableICFG

Package	Description
boomerang
boomerang.callgraph
boomerang.debugger
boomerang.results
boomerang.seedfactory
boomerang.solver

Uses of ObservableICFG in boomerang

Fields in boomerang declared as ObservableICFG

Modifier and Type	Field and Description
protected ObservableICFG<soot.Unit,soot.SootMethod>	WeightedBoomerang.icfg

Methods in boomerang that return ObservableICFG

Modifier and Type	Method and Description
abstract ObservableICFG<soot.Unit,soot.SootMethod>	WeightedBoomerang.icfg()

Methods in boomerang with parameters of type ObservableICFG

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)

Uses of ObservableICFG in boomerang.callgraph

Classes in boomerang.callgraph that implement ObservableICFG

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.

Fields in boomerang.callgraph declared as ObservableICFG

Modifier and Type	Field and Description
protected ObservableICFG<soot.Unit,soot.SootMethod>	BackwardsObservableICFG.delegate

Constructors in boomerang.callgraph with parameters of type ObservableICFG

Constructor and Description
BackwardsObservableICFG(ObservableICFG<soot.Unit,soot.SootMethod> fwOICFG)

Uses of ObservableICFG in boomerang.debugger

Constructors in boomerang.debugger with parameters of type ObservableICFG

Constructor and Description
CallGraphDebugger(File dotFile, ObservableICFG<soot.Unit,soot.SootMethod> icfg)
IDEVizDebugger(File ideVizFile, ObservableICFG<soot.Unit,soot.SootMethod> icfg)

Uses of ObservableICFG in boomerang.results

Constructors in boomerang.results with parameters of type ObservableICFG

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)

Uses of ObservableICFG in boomerang.seedfactory

Fields in boomerang.seedfactory declared as ObservableICFG

Modifier and Type	Field and Description
protected ObservableICFG<soot.Unit,soot.SootMethod>	SimpleSeedFactory.icfg

Methods in boomerang.seedfactory that return ObservableICFG

Modifier and Type	Method and Description
abstract ObservableICFG<soot.Unit,soot.SootMethod>	SeedFactory.icfg()

Constructors in boomerang.seedfactory with parameters of type ObservableICFG

Constructor and Description
SimpleSeedFactory(ObservableICFG<soot.Unit,soot.SootMethod> icfg)

Uses of ObservableICFG in boomerang.solver

Fields in boomerang.solver declared as ObservableICFG

Modifier and Type	Field and Description
protected ObservableICFG<soot.Unit,soot.SootMethod>	AbstractBoomerangSolver.icfg

Constructors in boomerang.solver with parameters of type ObservableICFG

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)
BackwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, BackwardQuery 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)
ForwardBoomerangSolver(ObservableICFG<soot.Unit,soot.SootMethod> icfg, ForwardQuery 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)