I first published about owi here about two years ago. Back then it was zapashcanon’s sandbox for his PhD on Ocaml GC implementation for Wasm. owi has since evolved into becoming a symbolic execution platform for Wasm.
This is especially interesting as it lets you perform cross-language symbolic execution. It has been already used to identify a bug in Rust’s core library (see https://hal.science/hal-04627413 for more details).
I first published about owi here about two years ago. Back then it was zapashcanon’s sandbox for his PhD on Ocaml GC implementation for Wasm. owi has since evolved into becoming a symbolic execution platform for Wasm.
This is especially interesting as it lets you perform cross-language symbolic execution. It has been already used to identify a bug in Rust’s core library (see https://hal.science/hal-04627413 for more details).
Thanks for sharing. I am one of the authors, happy to discuss owi more.