public class DemandDrivenGuidedAnalysis extends Object
| Constructor and Description |
|---|
DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification,
BoomerangOptions options) |
DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification,
BoomerangOptions options,
DataFlowScope dataFlowScope) |
| Modifier and Type | Method and Description |
|---|---|
void |
cleanUp()
Ensure to call cleanup to detach all listeners from the solver, otherwise the analysis may run
into a Memory issues.
|
Boomerang |
getSolver() |
QueryGraph<wpds.impl.Weight.NoWeight> |
run(Query query)
The query graph takes as input an initial query from which all follow up computations are
computed.
|
public DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification, BoomerangOptions options, DataFlowScope dataFlowScope)
public DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification, BoomerangOptions options)
public QueryGraph<wpds.impl.Weight.NoWeight> run(Query query)
Important note: Ensure to call cleanUp() after finishing the analysis.
query - The initial query to start the analysis from.public void cleanUp()
public Boomerang getSolver()
Copyright © 2024. All rights reserved.