Crate veriwasm[−][src]
Expand description
Library entry point for stack and heap validation, given a single function’s machine code and basic-block offsets.
Modules
Enums
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.