|
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. |