Namespace Echo.DataFlow.Emulation
Classes
- StackImbalanceException
The exception that is thrown when an inconsistency in the size of the stack was detected. Typically this exception occurs when two or more converging control flow paths have inconsistent stack sizes, or when either an insufficient or excessive amount of values were pushed onto the stack.
- SymbolicValue<TInstruction>
Represents a symbolic value that resides in memory.
Structs
- SymbolicProgramState<TInstruction>
Represents an immutable snapshot of a program state that is fully symbolic.
- SymbolicValue<TInstruction>.Enumerator
Provides a mechanism for enumerating all data sources within a single symbolic value.