public abstract class WholeProgramBoomerang<W extends Weight> extends WeightedBoomerang<W>
WeightedBoomerang.FieldReadPOI, WeightedBoomerang.FieldWritePOIDEBUG, icfg, options| Constructor and Description |
|---|
WholeProgramBoomerang() |
WholeProgramBoomerang(BoomerangOptions opts) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
backwardSolve(BackwardQuery query) |
BackwardBoomerangResults<W> |
backwardSolveUnderScope(BackwardQuery backwardQuery,
ForwardQuery forwardQuery,
Node<Statement,Val> node) |
SeedFactory<W> |
getSeedFactory() |
void |
wholeProgramAnalysis() |
activateAllPois, backwardHandleFieldRead, backwardSolveUnderScope, checkTimeout, createArrayFieldLoad, createArrayFieldStore, createBackwardSolver, createDebugger, createFieldLoad, createFieldStore, createForwardSolver, createPOI, debugOutput, forwardHandleFieldWrite, getBackwardCallWeights, getBackwardFieldWeights, getForwardCallWeights, getForwardFieldWeights, getOptions, getOrCreateDebugger, getResults, getSolvers, getStats, hasNoMethod, icfg, isAllocationNode, isArrayLoad, isArrayStore, isBackwardEnterCall, isFieldLoad, isFieldStore, isFirstStatementOfEntryPoint, onCreateSubSolver, preventCallRuleAdd, registerActivationListener, registerSolverCreationListener, solve, solve, solvepublic WholeProgramBoomerang(BoomerangOptions opts)
public WholeProgramBoomerang()
public SeedFactory<W> getSeedFactory()
getSeedFactory in class WeightedBoomerang<W extends Weight>public void wholeProgramAnalysis()
protected void backwardSolve(BackwardQuery query)
backwardSolve in class WeightedBoomerang<W extends Weight>public BackwardBoomerangResults<W> backwardSolveUnderScope(BackwardQuery backwardQuery, ForwardQuery forwardQuery, Node<Statement,Val> node)
backwardSolveUnderScope in class WeightedBoomerang<W extends Weight>Copyright © 2023. All rights reserved.