Module alloc_addresses

Module alloc_addresses 

Source
Expand description

This module is responsible for managing the absolute addresses that allocations are located at, and for casting between pointers and integers based on those addresses.

Re-exports§

pub use self::address_generator::AddressGenerator;

Modules§

address_generator 🔒
reuse_pool 🔒
Manages a pool of addresses that can be reused.

Structs§

GlobalStateInner

Enums§

ProvenanceMode

Traits§

EvalContextExt
EvalContextExtPriv 🔒

Type Aliases§

GlobalState