Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package avrora.stack

Interface Summary
AnalyzerPolicy | The `Policy` interface allows for more modular, composable analysis.

Class Summary
AbstractArithmetic | The `AbstractArithmetic` arithmetic class implements operations that are useful for working on abstract integers which are represented as characters.
AbstractInterpreter | The `AbstractInterpreter` class implements the abstract transfer function for each instruction type.
AbstractState | The `AbstractState` class represents an abstract state within the state space.
Analyzer | The `Analyzer` class implements the analysis phase that determines the transition relation between the states in the abstract state space.
MutableState | The `MutableState` class represents an abstract state of the processor that is mutable.
StateCache | The `StateSpace` class represents the reachable state space as it is explored by the `Analyzer` class.
StatePrinter |
StateTransitionGraph |
StateTransitionGraph.Edge | The `Edge` inner class represents a bidirectional edge between two states.
StateTransitionGraph.EdgeList |
StateTransitionGraph.StateInfo | The `StateInfo` class is a representation of both the forward and backward edge list corresponding to a node in the state transition graph.
StateTransitionGraph.StateList |

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES