boomerang.guided

Class DemandDrivenGuidedAnalysis

java.lang.Object

boomerang.guided.DemandDrivenGuidedAnalysis

public class DemandDrivenGuidedAnalysis
extends Object

Constructor Summary

Constructors

Constructor and Description
DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification, BoomerangOptions options)
DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification, BoomerangOptions options, DataFlowScope dataFlowScope)

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DemandDrivenGuidedAnalysis

public DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification,
                                  BoomerangOptions options,
                                  DataFlowScope dataFlowScope)

DemandDrivenGuidedAnalysis

public DemandDrivenGuidedAnalysis(IDemandDrivenGuidedManager specification,
                                  BoomerangOptions options)

Method Detail

run

public 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. Based on the specification provided. It returns the QueryGraph which is a graph whose nodes are Boomerang Queries, there is an edge between the queries if there node A triggered a subsequent query B.

Important note: Ensure to call cleanUp() after finishing the analysis.

Parameters:

query - The initial query to start the analysis from.

Returns:

a query graph containing all queries triggered.

cleanUp

public void cleanUp()

Ensure to call cleanup to detach all listeners from the solver, otherwise the analysis may run into a Memory issues.

getSolver

public Boomerang getSolver()