dk.brics.tajs.analysis

Class Analysis

java.lang.Object

dk.brics.tajs.analysis.Analysis

All Implemented Interfaces:

IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>

public final class Analysis
extends java.lang.Object
implements IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>

Encapsulation of the analysis using State, Context, Solver, InitialStateBuilder, Transfer, IContextSensitivityStrategy, and IAnalysisMonitoring.

Constructor Summary

Constructors

Constructor and Description
Analysis(IAnalysisMonitoring monitoring, SolverSynchronizer sync) Constructs a new analysis object.

Method Summary

Modifier and Type	Method and Description
BlendedAnalysisManager	getBlendedAnalysis() Returns the blended analysis component.
CustomContextSensitivityStrategy	getContextSensitivityStrategy() Returns the context sensitivity strategy.
IEdgeTransfer<Context>	getEdgeTransferFunctions() Returns the edge transfer functions.
EvalCache	getEvalCache() Returns the eval cache.
InitialStateBuilder	getInitialStateBuilder() Returns the initial state builder.
IAnalysisMonitoring	getMonitoring() Returns the monitoring object.
Transfer	getNodeTransferFunctions() Returns the node transfer functions.
PropVarOperations	getPropVarOperations() Returns the properties/variables operations object.
Solver	getSolver() Returns the solver.
Unsoundness	getUnsoundness()
void	initContextSensitivity(FlowGraph fg) Initializes the context sensitivity heuristics.
AnalysisLatticeElement	makeAnalysisLattice(FlowGraph fg) Returns a new global analysis lattice element.
CallEdge	makeCallEdge(State edge_state) Constructs a new call edge for the given abstract state.
void	setSolverInterface(GenericSolver.SolverInterface c) Sets the current solver interface.

Methods inherited from class java.lang.Object

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

Constructor Detail

Analysis

public Analysis(IAnalysisMonitoring monitoring,
                SolverSynchronizer sync)

Constructs a new analysis object.

Method Detail

getBlendedAnalysis

public BlendedAnalysisManager getBlendedAnalysis()

Description copied from interface: IAnalysis

Returns the blended analysis component.

Specified by:

getBlendedAnalysis in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>

getContextSensitivityStrategy

public CustomContextSensitivityStrategy getContextSensitivityStrategy()

Returns the context sensitivity strategy.

getEdgeTransferFunctions

public IEdgeTransfer<Context> getEdgeTransferFunctions()

Description copied from interface: IAnalysis

Returns the edge transfer functions.

Specified by:

getEdgeTransferFunctions in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>

getEvalCache

public EvalCache getEvalCache()

Returns the eval cache.

getInitialStateBuilder

public InitialStateBuilder getInitialStateBuilder()

Description copied from interface: IAnalysis

Returns the initial state builder.

Specified by:

getInitialStateBuilder in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>

getMonitoring

public IAnalysisMonitoring getMonitoring()

Description copied from interface: IAnalysis

Returns the monitoring object.

Specified by:

getMonitoring in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>

getNodeTransferFunctions

public Transfer getNodeTransferFunctions()

Description copied from interface: IAnalysis

Returns the node transfer functions.

Specified by:

getNodeTransferFunctions in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>

getPropVarOperations

public PropVarOperations getPropVarOperations()

Returns the properties/variables operations object.

getSolver

public Solver getSolver()

Returns the solver.

getUnsoundness

public Unsoundness getUnsoundness()

initContextSensitivity

public void initContextSensitivity(FlowGraph fg)

Description copied from interface: IAnalysis

Initializes the context sensitivity heuristics.

Specified by:

initContextSensitivity in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>

makeAnalysisLattice

public AnalysisLatticeElement makeAnalysisLattice(FlowGraph fg)

Description copied from interface: IAnalysis

Returns a new global analysis lattice element.

Specified by:

makeAnalysisLattice in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>

makeCallEdge

public CallEdge makeCallEdge(State edge_state)

Description copied from interface: IAnalysis

Constructs a new call edge for the given abstract state.

Specified by:

makeCallEdge in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>

setSolverInterface

public void setSolverInterface(GenericSolver.SolverInterface c)

Description copied from interface: IAnalysis

Sets the current solver interface.

Specified by:

setSolverInterface in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>