boomerang.results

Class BackwardBoomerangResults<W extends wpds.impl.Weight>

java.lang.Object

boomerang.results.AbstractBoomerangResults<W>

boomerang.results.BackwardBoomerangResults<W>

public class BackwardBoomerangResults<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
BackwardBoomerangResults(BackwardQuery query, boolean timedout, DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers, BackwardBoomerangSolver<W> backwardSolver, IBoomerangStats<W> stats, com.google.common.base.Stopwatch analysisWatch)

Method Summary

Modifier and Type	Method and Description
boolean	aliases(Query el)
Set<AccessPath>	getAllAliases() Deprecated.
Set<AccessPath>	getAllAliases(ControlFlowGraph.Edge stmt) Deprecated.
Map<ForwardQuery,AbstractBoomerangResults.Context>	getAllocationSites()
com.google.common.base.Stopwatch	getAnalysisWatch()
Set<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>	getDataFlowPath(ForwardQuery query) Deprecated.
long	getMaxMemory()
Set<Type>	getPropagationType() Returns the set of types the backward analysis for the triggered query ever propagates.
IBoomerangStats<W>	getStats()
boolean	isEmpty()
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

BackwardBoomerangResults

public BackwardBoomerangResults(BackwardQuery query,
                                boolean timedout,
                                DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> queryToSolvers,
                                BackwardBoomerangSolver<W> backwardSolver,
                                IBoomerangStats<W> stats,
                                com.google.common.base.Stopwatch analysisWatch)

Method Detail

getAllocationSites

public Map<ForwardQuery,AbstractBoomerangResults.Context> getAllocationSites()

isTimedout

public boolean isTimedout()

getStats

public IBoomerangStats<W> getStats()

getAnalysisWatch

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

aliases

public boolean aliases(Query el)

getAllAliases

@Deprecated
public Set<AccessPath> getAllAliases(ControlFlowGraph.Edge stmt)

Deprecated.

getAllAliases

@Deprecated
public Set<AccessPath> getAllAliases()

Deprecated.

isEmpty

public boolean isEmpty()

getPropagationType

public Set<Type> getPropagationType()

Returns the set of types the backward analysis for the triggered query ever propagates.

Returns:

Set of types the backward analysis propagates

getDataFlowPath

@Deprecated
public Set<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> getDataFlowPath(ForwardQuery query)

Deprecated.

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

getMaxMemory

public long getMaxMemory()