| Package | Description |
|---|---|
| boomerang | |
| boomerang.results | |
| boomerang.solver | |
| boomerang.staticfields | |
| boomerang.stats |
| Modifier and Type | Method and Description |
|---|---|
void |
SolverCreationListener.onCreatedSolver(Query query,
AbstractBoomerangSolver<W> solver) |
void |
WeightedBoomerang.onCreateSubSolver(Query key,
AbstractBoomerangSolver<W> solver) |
void |
WeightedBoomerang.printCallAutomatonFlow(AbstractBoomerangSolver<W> solver) |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractBoomerangResults.computeUnmatchedClosingContext(AbstractBoomerangResults.Context context,
AbstractBoomerangSolver<W> forwardSolver) |
void |
AbstractBoomerangResults.computeUnmatchedOpeningContext(AbstractBoomerangResults.Context context,
AbstractBoomerangSolver<W> forwardSolver,
sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node) |
| Constructor and Description |
|---|
ExtractAllAliasListener(AbstractBoomerangSolver<W> fwSolver,
Set<AccessPath> results,
ControlFlowGraph.Edge stmt) |
| Modifier and Type | Class and Description |
|---|---|
class |
BackwardBoomerangSolver<W extends wpds.impl.Weight> |
class |
ForwardBoomerangSolver<W extends wpds.impl.Weight> |
| Constructor and Description |
|---|
Strategies(BoomerangOptions opts,
AbstractBoomerangSolver solver,
com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements,
com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements) |
| Constructor and Description |
|---|
SingletonStaticFieldStrategy(AbstractBoomerangSolver solver,
com.google.common.collect.Multimap<Field,Statement> fieldLoadStatements,
com.google.common.collect.Multimap<Field,Statement> fieldStoreStatements) |
| Modifier and Type | Method and Description |
|---|---|
void |
SimpleBoomerangStats.registerSolver(Query key,
AbstractBoomerangSolver<W> solver) |
void |
IBoomerangStats.registerSolver(Query key,
AbstractBoomerangSolver<W> solver) |
void |
CSVBoomerangStatsWriter.registerSolver(Query key,
AbstractBoomerangSolver<W> solver) |
void |
AdvancedBoomerangStats.registerSolver(Query key,
AbstractBoomerangSolver<W> solver) |
Copyright © 2024. All rights reserved.