Expand description
A serializable snapshot of a binary’s initialized memory.
MemoryImage is the persistence/test form of the byte surface: it
implements wazabin_binary::BinaryFormat, so a snapshot (built from a live
format’s mapped_regions() at save time) or a test-seeded image can be
Arc-wrapped and handed to the pipeline as PipelineEnv.binary, exactly
like a live ELF/PE handle. During a live lift the bytes stay in the loader’s
format object only — nothing is copied into the Context.
The motivating consumer is the jump-table pass, which reads table entries
straight out of .rodata through the shared handle.
Structs§
- Memory
Image - The initialized memory of a loaded binary, as a set of mapped segments kept sorted by start address.