InitialMemory<'Memory> (B2R2) | B2R2

InitialMemory<'Memory> Type

Namespace: B2R2.MiddleEnd.Executor
Assembly: B2R2.MiddleEnd.Executor.dll
Base Type: obj
All Interfaces: IEquatable<InitialMemory<'Memory>> , IStructuralEquatable , IComparable<InitialMemory<'Memory>> , IComparable , IStructuralComparable

Represents the initial memory used for creating an execution state.

Union cases

Union case	Description
`BinSectionBackedMemory` Full Usage: `BinSectionBackedMemory`	Use binary file sections (e.g., .rodata, .data) for memory reads.
`EmptyMemory` Full Usage: `EmptyMemory`	Start with an empty memory.
`PreinitializedMemory memory` Full Usage: `PreinitializedMemory memory` Parameters: memory : `'Memory`	Use the given executor-specific memory. memory : `'Memory`

Instance members

Instance member	Description
`this.IsBinSectionBackedMemory` Full Usage: `this.IsBinSectionBackedMemory` Returns: `bool`	Returns: `bool`
`this.IsEmptyMemory` Full Usage: `this.IsEmptyMemory` Returns: `bool`	Returns: `bool`
`this.IsPreinitializedMemory` Full Usage: `this.IsPreinitializedMemory` Returns: `bool`	Returns: `bool`