DavidMazarro / wasm-verify

A proof-of-concept formal verification tool for WebAssembly.

DavidMazarro/wasm-verify Issues

Add new flag to `wasm-verify` to support dumping of SMT to files
Updated a year ago
Add support for deferred error reporting in VerifiWASM monad
Updated 6 months ago1
Add property-based test(s) to check the CFG simplification function
Updated a year ago