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.
Analyzer.FrontierInfo |
Analyzer.FrontierInfo.CallSiteList |
AnalyzeStackAction | The `AnalyzeStackAction` class is an extension of the `Main.Action` class that allows the stack tool to be reached from the command line.
MutableState | The `MutableState` class represents an abstract state of the processor that is mutable.
StateSpace | The `StateSpace` class represents the reachable state space as it is explored by the `Analyzer` class.

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