public final class Analysis extends java.lang.Object implements IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
State
, Context
,
Solver
, InitialStateBuilder
, Transfer
,
IContextSensitivityStrategy
, and IAnalysisMonitoring
.Constructor and Description |
---|
Analysis(IAnalysisMonitoring monitoring,
SolverSynchronizer sync)
Constructs a new analysis object.
|
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.
|
public Analysis(IAnalysisMonitoring monitoring, SolverSynchronizer sync)
public BlendedAnalysisManager getBlendedAnalysis()
IAnalysis
getBlendedAnalysis
in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
public CustomContextSensitivityStrategy getContextSensitivityStrategy()
public IEdgeTransfer<Context> getEdgeTransferFunctions()
IAnalysis
getEdgeTransferFunctions
in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
public EvalCache getEvalCache()
public InitialStateBuilder getInitialStateBuilder()
IAnalysis
getInitialStateBuilder
in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
public IAnalysisMonitoring getMonitoring()
IAnalysis
getMonitoring
in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
public Transfer getNodeTransferFunctions()
IAnalysis
getNodeTransferFunctions
in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
public PropVarOperations getPropVarOperations()
public Solver getSolver()
public Unsoundness getUnsoundness()
public void initContextSensitivity(FlowGraph fg)
IAnalysis
initContextSensitivity
in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
public AnalysisLatticeElement makeAnalysisLattice(FlowGraph fg)
IAnalysis
makeAnalysisLattice
in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
public CallEdge makeCallEdge(State edge_state)
IAnalysis
makeCallEdge
in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
public void setSolverInterface(GenericSolver.SolverInterface c)
IAnalysis
setSolverInterface
in interface IAnalysis<State,Context,CallEdge,IAnalysisMonitoring,Analysis>
Copyright © 2009-2019 Aarhus University