public interface IAnalysis<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>,MonitoringType extends ISolverMonitoring<StateType,ContextType>,AnalysisType extends IAnalysis<StateType,ContextType,CallEdgeType,MonitoringType,AnalysisType>>
Modifier and Type | Method and Description |
---|---|
BlendedAnalysisManager |
getBlendedAnalysis()
Returns the blended analysis component.
|
IEdgeTransfer<ContextType> |
getEdgeTransferFunctions()
Returns the edge transfer functions.
|
IInitialStateBuilder<StateType,ContextType,CallEdgeType,MonitoringType,AnalysisType> |
getInitialStateBuilder()
Returns the initial state builder.
|
MonitoringType |
getMonitoring()
Returns the monitoring object.
|
INodeTransfer<StateType,ContextType> |
getNodeTransferFunctions()
Returns the node transfer functions.
|
void |
initContextSensitivity(FlowGraph fg)
Initializes the context sensitivity heuristics.
|
IAnalysisLatticeElement<StateType,ContextType,CallEdgeType> |
makeAnalysisLattice(FlowGraph fg)
Returns a new global analysis lattice element.
|
CallEdgeType |
makeCallEdge(StateType edge_state)
Constructs a new call edge for the given abstract state.
|
void |
setSolverInterface(GenericSolver.SolverInterface c)
Sets the current solver interface.
|
BlendedAnalysisManager getBlendedAnalysis()
IEdgeTransfer<ContextType> getEdgeTransferFunctions()
IInitialStateBuilder<StateType,ContextType,CallEdgeType,MonitoringType,AnalysisType> getInitialStateBuilder()
MonitoringType getMonitoring()
INodeTransfer<StateType,ContextType> getNodeTransferFunctions()
void initContextSensitivity(FlowGraph fg)
IAnalysisLatticeElement<StateType,ContextType,CallEdgeType> makeAnalysisLattice(FlowGraph fg)
CallEdgeType makeCallEdge(StateType edge_state)
void setSolverInterface(GenericSolver.SolverInterface c)
Copyright © 2009-2019 Aarhus University