Namespace Echo.Memory

Classes

BasicMemorySpace

Provides a basic implementation of a IMemorySpace, where memory is one continuous block of data that is fully accessible.

BitVector

Represents an array of bits for which the concrete may be known or unknown, and can be reinterpreted as different value types, and operated on using the different semantics of these types.

BitVectorPool

Provides a mechanism for reusing instances of BitVector.

GenericMockMemory<T>

Provides a semi high-level mapping between addresses and objects that live outside of the sandbox.

UninitializedMemorySpace

Represents a chunk of uninitialized (unknown) memory. Writing to this memory space does not change the contents.

VirtualMemory

Represents an addressable region of memory that maps a collection of memory spaces to virtual addresses.

Structs

BitVectorSpan

Represents a slice of an array of bits for which the concrete may be known or unknown, and can be reinterpreted as different value types, and operated on using the different semantics of these types.

Interfaces

IMemorySpace

Provides members for accessing and writing (partially known) memory.