Struct RwasmStore 

pub struct RwasmStore<T: 'static> { /* private fields */ }

Host-side store that holds memory, tables, globals, and host context for a rwasm instance. It also tracks fuel for metering and provides access to imported functions and syscalls. The store is passed to host callbacks and persists across invocations of the same module.

Implementations

impl<T: 'static> RwasmStore<T>

pub fn new( import_linker: Arc<ImportLinker>, context: T, syscall_handler: SyscallHandler<T>, fuel_limit: Option<u64>, max_allowed_memory_pages: Option<u32>, ) -> Self

pub fn reset(&mut self, keep_flags: bool)

Resets the state of the current execution context.

pub fn fuel_consumed(&self) -> u64

pub fn memory_size_bytes(&self) -> usize

Returns the current linear memory size in bytes.

Note: rwasm currently supports only the default (index 0) linear memory.

pub fn memory_snapshot_prefix(&self, max_bytes: usize) -> Vec<u8>

Returns a snapshot of the first max_bytes of linear memory.

This is intended for differential testing/fuzzing where we want to compare post-call side effects without copying potentially huge memories.

pub fn memory_snapshot(&self) -> Vec<u8>

Returns a full snapshot of linear memory.

This is primarily intended for differential fuzzing using Wasmtime’s oracle strategy, which compares full exported memories.

pub fn table_snapshots_nullness_prefix( &self, max_elems: usize, ) -> Vec<(u32, u32, Vec<u8>)>

Returns per-table snapshots as (table_index, size, non_null_prefix) tuples.

non_null_prefix contains 0/1 bytes describing whether each element is null (0) or non-null (1) for the first max_elems elements of the table.

pub fn has_global_word(&self, global_word_index: u32) -> bool

Returns whether a raw global word is currently materialized at the given internal index.

pub fn global_word_bits(&self, global_word_index: u32) -> u32

Returns the raw 32-bit “global word” at the given internal index.

rwasm stores globals as 32-bit words. i64/f64 globals occupy two words:

• low word at global_index * 2
• high word at global_index * 2 + 1

This accessor is intended for differential fuzzing/oracles.

Trait Implementations

impl<T: 'static + Default> Default for RwasmStore<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T: 'static> StoreTr<T> for RwasmStore<T>

fn memory_read( &mut self, offset: usize, buffer: &mut [u8], ) -> Result<(), TrapCode>

fn memory_read_into_vec( &mut self, offset: usize, length: usize, ) -> Result<Vec<u8>, TrapCode>

fn memory_write(&mut self, offset: usize, buffer: &[u8]) -> Result<(), TrapCode>

fn data_mut(&mut self) -> &mut T

fn data(&self) -> &T

fn try_consume_fuel(&mut self, delta: u64) -> Result<(), TrapCode>

fn remaining_fuel(&self) -> Option<u64>

fn reset_fuel(&mut self, new_fuel_limit: u64)