boomerang.results

Class BackwardBoomerangResults<W extends Weight>

java.lang.Object

boomerang.results.AbstractBoomerangResults<W>

boomerang.results.BackwardBoomerangResults<W>

All Implemented Interfaces:

soot.PointsToSet

public class BackwardBoomerangResults<W extends Weight>
extends AbstractBoomerangResults<W>
implements soot.PointsToSet

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
BackwardBoomerangResults(BackwardQuery query, 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
boolean	aliases(Query el)
Set<AccessPath>	getAllAliases() Deprecated.
Set<AccessPath>	getAllAliases(Statement stmt) Deprecated.
Map<ForwardQuery,AbstractBoomerangResults.Context>	getAllocationSites()
com.google.common.base.Stopwatch	getAnalysisWatch()
Set<Node<Statement,Val>>	getDataFlowPath(ForwardQuery query) Computes the set of statements (and variables at these statements) relevant for data-flow propagation.
long	getMaxMemory()
Set<soot.Type>	getPropagationType() Returns the set of types the backward analysis for the triggered query ever propagates.
IBoomerangStats<W>	getStats()
boolean	hasNonEmptyIntersection(soot.PointsToSet other)
boolean	isEmpty()
boolean	isTimedout()
Set<soot.jimple.ClassConstant>	possibleClassConstants()
Set<String>	possibleStringConstants()
Set<soot.Type>	possibleTypes()

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

BackwardBoomerangResults

public BackwardBoomerangResults(BackwardQuery query,
                                boolean timedout,
                                heros.utilities.DefaultValueMap<Query,AbstractBoomerangSolver<W>> queryToSolvers,
                                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(Statement stmt)

Deprecated.

getAllAliases

@Deprecated
public Set<AccessPath> getAllAliases()

Deprecated.

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface soot.PointsToSet

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(soot.PointsToSet other)

Specified by:

hasNonEmptyIntersection in interface soot.PointsToSet

possibleTypes

public Set<soot.Type> possibleTypes()

Specified by:

possibleTypes in interface soot.PointsToSet

getPropagationType

public Set<soot.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

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

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

possibleStringConstants

public Set<String> possibleStringConstants()

Specified by:

possibleStringConstants in interface soot.PointsToSet

possibleClassConstants

public Set<soot.jimple.ClassConstant> possibleClassConstants()

Specified by:

possibleClassConstants in interface soot.PointsToSet

getMaxMemory

public long getMaxMemory()