Crate veriwasm[][src]

Expand description

Library entry point for stack and heap validation, given a single function’s machine code and basic-block offsets.



How the Wasm heap is accessed in machine code. This will allow the check to be parameterized to work with different VMs – first Lucet, eventually Wasmtime, perhaps others – that have slightly different VM-context data structure layouts.