Owi
An automatic bug-finding tool for C, C++, Go, Rust, and Zig using WebAssembly-level symbolic execution.
What is Owi?
Owi is an automatic bug-finding tool that analyzes programs written in C, C++, Go, Rust, and Zig by compiling them to WebAssembly. It uses parallel symbolic execution to detect bugs, generate test cases, and support formal verification of program correctness.
Developers and security researchers working with C, C++, Go, Rust, or Zig who need to perform security testing, verification, or quality assurance on their WebAssembly-compiled code.
Developers choose Owi because it provides cross-language bug detection through a common WebAssembly intermediate representation, offers a comprehensive suite of Wasm utilities (formatter, interpreter, validator, fuzzer), and makes advanced symbolic execution techniques accessible and performant.
Overview
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
Use Cases
Best For
- Security testing of WebAssembly modules compiled from C, C++, Go, Rust, or Zig
- Automated test-case generation to uncover edge cases and vulnerabilities in multi-language codebases
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
