public class Boomerang extends WeightedBoomerang<wpds.impl.Weight.NoWeight>
WeightedBoomerang.FieldWritePOIcfg, icfg, options| Constructor and Description |
|---|
Boomerang(CallGraph callGraph,
DataFlowScope scope) |
Boomerang(CallGraph callGraph,
DataFlowScope scope,
BoomerangOptions opt) |
| 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() |
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, unregisterAllListenerspublic Boomerang(CallGraph callGraph, DataFlowScope scope)
public Boomerang(CallGraph callGraph, DataFlowScope scope, BoomerangOptions opt)
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,wpds.impl.Weight.NoWeight> getForwardFieldWeights()
getForwardFieldWeights in class WeightedBoomerang<wpds.impl.Weight.NoWeight>protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,wpds.impl.Weight.NoWeight> getBackwardFieldWeights()
getBackwardFieldWeights in class WeightedBoomerang<wpds.impl.Weight.NoWeight>protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,wpds.impl.Weight.NoWeight> getBackwardCallWeights()
getBackwardCallWeights in class WeightedBoomerang<wpds.impl.Weight.NoWeight>protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,wpds.impl.Weight.NoWeight> getForwardCallWeights(ForwardQuery sourceQuery)
getForwardCallWeights in class WeightedBoomerang<wpds.impl.Weight.NoWeight>Copyright © 2024. All rights reserved.