public abstract class PathTrackingBoomerang extends WeightedBoomerang<DataFlowPathWeight>
WeightedBoomerang.FieldReadPOI, WeightedBoomerang.FieldWritePOIDEBUG, icfg, options| Constructor and Description |
|---|
PathTrackingBoomerang() |
PathTrackingBoomerang(BoomerangOptions opt) |
| Modifier and Type | Method and Description |
|---|---|
Debugger<DataFlowPathWeight> |
createDebugger() |
protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight> |
getBackwardCallWeights() |
protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight> |
getBackwardFieldWeights() |
protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight> |
getForwardCallWeights(ForwardQuery sourceQuery) |
protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight> |
getForwardFieldWeights() |
activateAllPois, backwardHandleFieldRead, backwardSolve, backwardSolveUnderScope, backwardSolveUnderScope, checkTimeout, createArrayFieldLoad, createArrayFieldStore, createBackwardSolver, createFieldLoad, createFieldStore, createForwardSolver, createPOI, debugOutput, forwardHandleFieldWrite, getOptions, getOrCreateDebugger, getResults, getSeedFactory, getSolvers, getStats, hasNoMethod, icfg, isAllocationNode, isArrayLoad, isArrayStore, isBackwardEnterCall, isFieldLoad, isFieldStore, isFirstStatementOfEntryPoint, onCreateSubSolver, preventCallRuleAdd, registerActivationListener, registerSolverCreationListener, solve, solve, solvepublic PathTrackingBoomerang()
public PathTrackingBoomerang(BoomerangOptions opt)
protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight> getForwardFieldWeights()
getForwardFieldWeights in class WeightedBoomerang<DataFlowPathWeight>protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight> getBackwardFieldWeights()
getBackwardFieldWeights in class WeightedBoomerang<DataFlowPathWeight>protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight> getBackwardCallWeights()
getBackwardCallWeights in class WeightedBoomerang<DataFlowPathWeight>protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight> getForwardCallWeights(ForwardQuery sourceQuery)
getForwardCallWeights in class WeightedBoomerang<DataFlowPathWeight>public Debugger<DataFlowPathWeight> createDebugger()
createDebugger in class WeightedBoomerang<DataFlowPathWeight>Copyright © 2023. All rights reserved.