Package dk.brics.tajs.solver

Generic fixpoint solver for flow graphs.

See: Description

Interface Summary

Interface	Description
IAnalysis<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>,MonitoringType extends IMonitoring<BlockStateType,CallContextType>,AnalysisType extends IAnalysis<BlockStateType,CallContextType,CallEdgeType,MonitoringType,AnalysisType>>	Interface for analyses on flow graphs.
IAnalysisLatticeElement<BlockStateType extends IBlockState<BlockStateType,?,CallEdgeType>,CallContextType extends ICallContext<?>,CallEdgeType extends ICallEdge<BlockStateType>>	Interface for global analysis lattice elements.
IBlockState<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>>	Interface for abstract states for block entries.
IBlockTransfer<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<?>>	Interface for end-of-block transfer function classes.
ICallContext<CallContextType extends ICallContext<?>>	Interface for analysis call contexts.
ICallEdge<BlockStateType extends IBlockState<?,?,?>>	Interface for call edges.
ICallEdge.Visitor<CallEdgeType extends ICallEdge<?>>	Visitor for call edges.
IEdgeTransfer<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<?>>	Interface for edge transfer function classes.
IInitialStateBuilder<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>>	Interface for initial state builder classes.
IMonitoring<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<CallContextType>>	Records various information during fixpoint solving.
INodeTransfer<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<?>>	Interface for node transfer function classes.
IWorkListStrategy<CallContextType extends ICallContext<?>>	Interface for work list strategies.
IWorkListStrategy.IEntry<CallContextType extends ICallContext<?>>	Interface for work list entries.

Class Summary

Class	Description
BlockAndContext<CallContextType extends ICallContext<?>>	Pair of a basic block and a call context.
CallDependencies<CallContextType extends ICallContext<CallContextType>>	Keeps track of call edges that await return flow.
CallGraph<BlockStateType extends IBlockState<BlockStateType,?,CallEdgeType>,CallContextType extends ICallContext<?>,CallEdgeType extends ICallEdge<BlockStateType>>	Call graph.
GenericSolver<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>,MonitoringType extends IMonitoring<BlockStateType,CallContextType>,AnalysisType extends IAnalysis<BlockStateType,CallContextType,CallEdgeType,MonitoringType,AnalysisType>>	Generic fixpoint solver for flow graphs.
IAnalysisLatticeElement.MergeResult	Result from IAnalysisLatticeElement.propagate(IBlockState, BasicBlock, ICallContext, boolean, boolean).
Message	Message generated by the analysis.
NodeAndContext<CallContextType extends ICallContext<?>>	Pair of an abstract node and a call context.
SolverSynchronizer	Synchronizer for solver events.
WorkList<CallContextType extends ICallContext<?>>	Work list used by solver.

Enum Summary

Enum	Description
Message.Severity	Severity level.
Message.Status	Message kind.

Package dk.brics.tajs.solver Description

Generic fixpoint solver for flow graphs.

Author:

Anders Møller <amoeller@cs.au.dk>