miri::alloc

Module isolated_alloc

Source

Structs§

IsolatedAlloc
A dedicated allocator for interpreter memory contents, ensuring they are stored on dedicated pages (not mixed with Miri’s own memory). This is used in native-lib mode.

Constants§

COMPRESSION_FACTOR 🔒
How many bytes of memory each bit in the bitset represents.