boomerang

Class Boomerang

java.lang.Object

boomerang.WeightedBoomerang<wpds.impl.Weight.NoWeight>

boomerang.Boomerang

public class Boomerang
extends WeightedBoomerang<wpds.impl.Weight.NoWeight>

Nested Class Summary

Nested classes/interfaces inherited from class boomerang.WeightedBoomerang

WeightedBoomerang.FieldWritePOI

Field Summary

Fields inherited from class boomerang.WeightedBoomerang

cfg, icfg, options

Constructor Summary

Constructors

Constructor and Description
Boomerang(CallGraph callGraph, DataFlowScope scope)
Boomerang(CallGraph callGraph, DataFlowScope scope, BoomerangOptions opt)

Method Summary

Modifier and Type	Method and Description
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,wpds.impl.Weight.NoWeight>	getBackwardCallWeights()
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,wpds.impl.Weight.NoWeight>	getBackwardFieldWeights()
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,wpds.impl.Weight.NoWeight>	getForwardCallWeights(ForwardQuery sourceQuery)
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,wpds.impl.Weight.NoWeight>	getForwardFieldWeights()

Methods inherited from class boomerang.WeightedBoomerang

activateAllPois, addVisitedMethod, backwardSolve, cfg, checkTimeout, createArrayFieldStore, createFieldStore, createForwardSolver, debugOutput, debugOutput, forwardHandleFieldWrite, getBackwardSolvers, getCallGraph, getOptions, getQueryGraph, getResults, getSolvers, getStats, getVisitedMethods, handleMapsBackward, handleMapsForward, icfg, isAllocationNode, isFirstStatementOfEntryPoint, onCreateSubSolver, preventCallRuleAdd, printAllAutomata, printAllBackwardCallAutomatonFlow, printAllForwardCallAutomatonFlow, printAutomata, printCallAutomatonFlow, registerActivationListener, registerSolverCreationListener, solve, solve, solve, solveUnderScope, solveUnderScope, unregisterAllListeners

Methods inherited from class java.lang.Object

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

Constructor Detail

Boomerang

public Boomerang(CallGraph callGraph,
                 DataFlowScope scope)

Boomerang

public Boomerang(CallGraph callGraph,
                 DataFlowScope scope,
                 BoomerangOptions opt)

Method Detail

getForwardFieldWeights

protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,wpds.impl.Weight.NoWeight> getForwardFieldWeights()

Specified by:

getForwardFieldWeights in class WeightedBoomerang<wpds.impl.Weight.NoWeight>

getBackwardFieldWeights

protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,wpds.impl.Weight.NoWeight> getBackwardFieldWeights()

Specified by:

getBackwardFieldWeights in class WeightedBoomerang<wpds.impl.Weight.NoWeight>

getBackwardCallWeights

protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,wpds.impl.Weight.NoWeight> getBackwardCallWeights()

Specified by:

getBackwardCallWeights in class WeightedBoomerang<wpds.impl.Weight.NoWeight>

getForwardCallWeights

protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,wpds.impl.Weight.NoWeight> getForwardCallWeights(ForwardQuery sourceQuery)

Specified by:

getForwardCallWeights in class WeightedBoomerang<wpds.impl.Weight.NoWeight>