| Package | Description |
|---|---|
| boomerang.weights |
| Modifier and Type | Method and Description |
|---|---|
DataFlowPathWeight |
PathTrackingWeightFunctions.getOne() |
DataFlowPathWeight |
PathTrackingWeightFunctions.getZero() |
DataFlowPathWeight |
PathTrackingWeightFunctions.normal(Node<Statement,Val> curr,
Node<Statement,Val> succ) |
static DataFlowPathWeight |
DataFlowPathWeight.one() |
DataFlowPathWeight |
PathTrackingWeightFunctions.pop(Node<Statement,Val> curr,
Statement location) |
DataFlowPathWeight |
PathTrackingWeightFunctions.push(Node<Statement,Val> curr,
Node<Statement,Val> succ,
Statement callSite) |
static DataFlowPathWeight |
DataFlowPathWeight.zero() |
| Modifier and Type | Method and Description |
|---|---|
Debugger<DataFlowPathWeight> |
PathTrackingBoomerang.createDebugger() |
protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight> |
PathTrackingBoomerang.getBackwardCallWeights() |
protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight> |
PathTrackingBoomerang.getBackwardFieldWeights() |
protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight> |
PathTrackingBoomerang.getForwardCallWeights(ForwardQuery sourceQuery) |
protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight> |
PathTrackingBoomerang.getForwardFieldWeights() |
Copyright © 2023. All rights reserved.