boomerang.results

Class ForwardBoomerangResults<W extends wpds.impl.Weight>

java.lang.Object

boomerang.results.AbstractBoomerangResults<W>

boomerang.results.ForwardBoomerangResults<W>

public class ForwardBoomerangResults<W extends wpds.impl.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

LOGGER, queryToSolvers

Constructor Summary

Constructors

Constructor and Description

ForwardBoomerangResults(ForwardQuery query, ObservableICFG<Statement,Method> icfg, ObservableControlFlowGraph cfg, boolean timedout, DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch, Set<Method> visitedMethods, boolean trackDataFlowPath, boolean pruneContradictoryDataFlowPath, boolean pruneImplictFlows)

Method Summary

Modifier and Type	Method and Description
com.google.common.collect.Table<ControlFlowGraph.Edge,Val,W>	asStatementValWeightTable()
boolean	containsCallRecursion()
boolean	containsFieldLoop()
com.google.common.base.Stopwatch	getAnalysisWatch()
AbstractBoomerangResults.Context	getContext(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node)
Map<ControlFlowGraph.Edge,DeclaredMethod>	getInvokedMethodOnInstance()
long	getMaxMemory()
com.google.common.collect.Table<ControlFlowGraph.Edge,Val,W>	getObjectDestructingStatements()
QueryResults	getPotentialNullPointerDereferences()
IBoomerangStats<W>	getStats()
Set<Method>	getVisitedMethods()
boolean	isTimedout()

Methods inherited from class boomerang.results.AbstractBoomerangResults

asStatementValWeightTable, computeUnmatchedClosingContext, computeUnmatchedOpeningContext, 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<Statement,Method> icfg,
                               ObservableControlFlowGraph cfg,
                               boolean timedout,
                               DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers,
                               IBoomerangStats<W> stats,
                               com.google.common.base.Stopwatch analysisWatch,
                               Set<Method> visitedMethods,
                               boolean trackDataFlowPath,
                               boolean pruneContradictoryDataFlowPath,
                               boolean pruneImplictFlows)

Method Detail

getAnalysisWatch

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

isTimedout

public boolean isTimedout()

getObjectDestructingStatements

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

asStatementValWeightTable

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

getStats

public IBoomerangStats<W> getStats()

getInvokedMethodOnInstance

public Map<ControlFlowGraph.Edge,DeclaredMethod> getInvokedMethodOnInstance()

getPotentialNullPointerDereferences

public QueryResults getPotentialNullPointerDereferences()

getContext

public AbstractBoomerangResults.Context getContext(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node)

containsCallRecursion

public boolean containsCallRecursion()

containsFieldLoop

public boolean containsFieldLoop()

getVisitedMethods

public Set<Method> getVisitedMethods()

getMaxMemory

public long getMaxMemory()