owi. Symbolic execution for Wasm, C, C++, Rust and Zig

github.com/gasche/owi

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.