Crate veriwasm

Crate veriwasm 

Source
Expand description

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

Modules§

analyses
checkers
ir
lattices
loaders
runner

Enums§

HeapStrategy
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.
ValidationError

Functions§

validate_heap