boomerang

Class WeightedBoomerang<W extends Weight>

java.lang.Object

boomerang.WeightedBoomerang<W>

Direct Known Subclasses:

Boomerang, PathTrackingBoomerang, WholeProgramBoomerang

public abstract class WeightedBoomerang<W extends Weight>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	WeightedBoomerang.FieldReadPOI
class	WeightedBoomerang.FieldWritePOI

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	DEBUG
protected ObservableICFG<soot.Unit,soot.SootMethod>	icfg
protected BoomerangOptions	options

Constructor Summary

Constructors

Constructor and Description
WeightedBoomerang()
WeightedBoomerang(BoomerangOptions options)

Method Summary

Modifier and Type	Method and Description
protected void	activateAllPois(boomerang.WeightedBoomerang.SolverPair pair, INode<Node<Statement,Val>> start)
protected void	backwardHandleFieldRead(Node<Statement,Val> node, WeightedBoomerang.FieldReadPOI fieldRead, BackwardQuery sourceQuery)
protected void	backwardSolve(BackwardQuery query)
BackwardBoomerangResults<W>	backwardSolveUnderScope(BackwardQuery backwardQuery, ForwardQuery forwardQuery, Node<Statement,Val> node)
BackwardBoomerangResults<W>	backwardSolveUnderScope(BackwardQuery backwardQuery, IContextRequester requester)
void	checkTimeout()
protected WeightedBoomerang.FieldReadPOI	createArrayFieldLoad(Statement s)
protected WeightedBoomerang.FieldWritePOI	createArrayFieldStore(Statement s)
protected AbstractBoomerangSolver<W>	createBackwardSolver(BackwardQuery backwardQuery)
abstract Debugger<W>	createDebugger()
protected WeightedBoomerang.FieldReadPOI	createFieldLoad(Statement s)
protected WeightedBoomerang.FieldWritePOI	createFieldStore(Statement s)
protected ForwardBoomerangSolver<W>	createForwardSolver(ForwardQuery sourceQuery)
void	createPOI(soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod> icfg, AbstractBoomerangSolver<W> baseSolver, AbstractBoomerangSolver<W> flowSolver, WeightedBoomerang.FieldReadPOI fieldReadPOI, Statement succ)
void	debugOutput()
protected void	forwardHandleFieldWrite(Node<Statement,Val> node, WeightedBoomerang.FieldWritePOI fieldWritePoi, ForwardQuery sourceQuery)
protected abstract WeightFunctions<Statement,Val,Statement,W>	getBackwardCallWeights()
protected abstract WeightFunctions<Statement,Val,Field,W>	getBackwardFieldWeights()
protected abstract WeightFunctions<Statement,Val,Statement,W>	getForwardCallWeights(ForwardQuery sourceQuery)
protected abstract WeightFunctions<Statement,Val,Field,W>	getForwardFieldWeights()
BoomerangOptions	getOptions()
Debugger<W>	getOrCreateDebugger()
com.google.common.collect.Table<Statement,Val,W>	getResults(Query seed)
SeedFactory<W>	getSeedFactory()
heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>>	getSolvers()
IBoomerangStats<W>	getStats()
protected boolean	hasNoMethod(Node<Statement,Val> node)
abstract ObservableICFG<soot.Unit,soot.SootMethod>	icfg()
protected com.google.common.base.Optional<AllocVal>	isAllocationNode(Statement s, Val fact)
static boolean	isArrayLoad(Statement s)
static boolean	isArrayStore(Statement s)
protected boolean	isBackwardEnterCall(Statement stmt)
static boolean	isFieldLoad(Statement s)
static boolean	isFieldStore(Statement s)
protected boolean	isFirstStatementOfEntryPoint(Statement stmt)
void	onCreateSubSolver(Query key, AbstractBoomerangSolver<W> solver)
boolean	preventCallRuleAdd(ForwardQuery sourceQuery, Rule<Statement,INode<Val>,W> rule)
void	registerActivationListener(boomerang.WeightedBoomerang.SolverPair solverPair, ExecuteImportFieldStmtPOI<W> exec)
void	registerSolverCreationListener(SolverCreationListener<W> l)
BackwardBoomerangResults<W>	solve(BackwardQuery query)
BackwardBoomerangResults<W>	solve(BackwardQuery query, boolean timing)
ForwardBoomerangResults<W>	solve(ForwardQuery query)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEBUG

public static final boolean DEBUG

See Also:

Constant Field Values

icfg

protected ObservableICFG<soot.Unit,soot.SootMethod> icfg

options

protected final BoomerangOptions options

Constructor Detail

WeightedBoomerang

public WeightedBoomerang(BoomerangOptions options)

WeightedBoomerang

public WeightedBoomerang()

Method Detail

checkTimeout

public void checkTimeout()

createBackwardSolver

protected AbstractBoomerangSolver<W> createBackwardSolver(BackwardQuery backwardQuery)

hasNoMethod

protected boolean hasNoMethod(Node<Statement,Val> node)

isFirstStatementOfEntryPoint

protected boolean isFirstStatementOfEntryPoint(Statement stmt)

isBackwardEnterCall

protected boolean isBackwardEnterCall(Statement stmt)

isAllocationNode

protected com.google.common.base.Optional<AllocVal> isAllocationNode(Statement s,
                                                                     Val fact)

createForwardSolver

protected ForwardBoomerangSolver<W> createForwardSolver(ForwardQuery sourceQuery)

preventCallRuleAdd

public boolean preventCallRuleAdd(ForwardQuery sourceQuery,
                                  Rule<Statement,INode<Val>,W> rule)

createFieldLoad

protected WeightedBoomerang.FieldReadPOI createFieldLoad(Statement s)

createArrayFieldLoad

protected WeightedBoomerang.FieldReadPOI createArrayFieldLoad(Statement s)

createArrayFieldStore

protected WeightedBoomerang.FieldWritePOI createArrayFieldStore(Statement s)

createFieldStore

protected WeightedBoomerang.FieldWritePOI createFieldStore(Statement s)

isFieldStore

public static boolean isFieldStore(Statement s)

isArrayStore

public static boolean isArrayStore(Statement s)

isArrayLoad

public static boolean isArrayLoad(Statement s)

isFieldLoad

public static boolean isFieldLoad(Statement s)

backwardHandleFieldRead

protected void backwardHandleFieldRead(Node<Statement,Val> node,
                                       WeightedBoomerang.FieldReadPOI fieldRead,
                                       BackwardQuery sourceQuery)

forwardHandleFieldWrite

protected void forwardHandleFieldWrite(Node<Statement,Val> node,
                                       WeightedBoomerang.FieldWritePOI fieldWritePoi,
                                       ForwardQuery sourceQuery)

backwardSolveUnderScope

public BackwardBoomerangResults<W> backwardSolveUnderScope(BackwardQuery backwardQuery,
                                                           ForwardQuery forwardQuery,
                                                           Node<Statement,Val> node)

backwardSolveUnderScope

public BackwardBoomerangResults<W> backwardSolveUnderScope(BackwardQuery backwardQuery,
                                                           IContextRequester requester)

solve

public ForwardBoomerangResults<W> solve(ForwardQuery query)

solve

public BackwardBoomerangResults<W> solve(BackwardQuery query)

solve

public BackwardBoomerangResults<W> solve(BackwardQuery query,
                                         boolean timing)

backwardSolve

protected void backwardSolve(BackwardQuery query)

activateAllPois

protected void activateAllPois(boomerang.WeightedBoomerang.SolverPair pair,
                               INode<Node<Statement,Val>> start)

registerActivationListener

public void registerActivationListener(boomerang.WeightedBoomerang.SolverPair solverPair,
                                       ExecuteImportFieldStmtPOI<W> exec)

createPOI

public void createPOI(soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod> icfg,
                      AbstractBoomerangSolver<W> baseSolver,
                      AbstractBoomerangSolver<W> flowSolver,
                      WeightedBoomerang.FieldReadPOI fieldReadPOI,
                      Statement succ)

icfg

public abstract ObservableICFG<soot.Unit,soot.SootMethod> icfg()

getForwardFieldWeights

protected abstract WeightFunctions<Statement,Val,Field,W> getForwardFieldWeights()

getBackwardFieldWeights

protected abstract WeightFunctions<Statement,Val,Field,W> getBackwardFieldWeights()

getBackwardCallWeights

protected abstract WeightFunctions<Statement,Val,Statement,W> getBackwardCallWeights()

getForwardCallWeights

protected abstract WeightFunctions<Statement,Val,Statement,W> getForwardCallWeights(ForwardQuery sourceQuery)

getSolvers

public heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>> getSolvers()

createDebugger

public abstract Debugger<W> createDebugger()

debugOutput

public void debugOutput()

getOrCreateDebugger

public Debugger<W> getOrCreateDebugger()

getSeedFactory

public SeedFactory<W> getSeedFactory()

getStats

public IBoomerangStats<W> getStats()

onCreateSubSolver

public void onCreateSubSolver(Query key,
                              AbstractBoomerangSolver<W> solver)

registerSolverCreationListener

public void registerSolverCreationListener(SolverCreationListener<W> l)

getResults

public com.google.common.collect.Table<Statement,Val,W> getResults(Query seed)

getOptions

public BoomerangOptions getOptions()