boomerang.results

Class ForwardBoomerangResults<W extends Weight>

java.lang.Object

boomerang.results.AbstractBoomerangResults<W>

boomerang.results.ForwardBoomerangResults<W>

public class ForwardBoomerangResults<W extends Weight>
extends AbstractBoomerangResults<W>

Nested Class Summary

Nested classes/interfaces inherited from class boomerang.results.AbstractBoomerangResults

AbstractBoomerangResults.Context

Field Summary

Fields inherited from class boomerang.results.AbstractBoomerangResults

queryToSolvers

Constructor Summary

Constructors

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)

Method Summary

Modifier and Type	Method and Description
com.google.common.collect.Table<Statement,Val,W>	asStatementValWeightTable()
boolean	containsCallRecursion()
boolean	containsFieldLoop()
com.google.common.base.Stopwatch	getAnalysisWatch()
AbstractBoomerangResults.Context	getContext(Node<Statement,Val> node)
Set<Node<Statement,Val>>	getDataFlowPath() Computes the set of statements (and variables at these statements) relevant for data-flow propagation.
Map<Statement,soot.SootMethod>	getInvokedMethodOnInstance()
long	getMaxMemory()
com.google.common.collect.Table<Statement,Val,W>	getObjectDestructingStatements()
Set<NullPointer>	getPotentialNullPointerDereferences()
IBoomerangStats<W>	getStats()
boolean	isTimedout()

Methods inherited from class boomerang.results.AbstractBoomerangResults

asStatementValWeightTable, constructContextGraph

Methods inherited from class java.lang.Object

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

Constructor Detail

ForwardBoomerangResults

public 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)

Method Detail

getAnalysisWatch

public com.google.common.base.Stopwatch getAnalysisWatch()

isTimedout

public boolean isTimedout()

getObjectDestructingStatements

public com.google.common.collect.Table<Statement,Val,W> getObjectDestructingStatements()

asStatementValWeightTable

public com.google.common.collect.Table<Statement,Val,W> asStatementValWeightTable()

getDataFlowPath

public Set<Node<Statement,Val>> getDataFlowPath()

Computes the set of statements (and variables at these statements) relevant for data-flow propagation. A statement s is relevant, if a propagated variable x is used at s. I.e., when propagting x @ y = x, the returned set contains x @ y = x, whereas it will not contain a call site x @ y = foo(c), because x is not used at the statement.

Returns:

The set of relevant statements during data-flow propagation

getStats

public IBoomerangStats<W> getStats()

getInvokedMethodOnInstance

public Map<Statement,soot.SootMethod> getInvokedMethodOnInstance()

getPotentialNullPointerDereferences

public Set<NullPointer> getPotentialNullPointerDereferences()

getContext

public AbstractBoomerangResults.Context getContext(Node<Statement,Val> node)

containsCallRecursion

public boolean containsCallRecursion()

containsFieldLoop

public boolean containsFieldLoop()

getMaxMemory

public long getMaxMemory()