Owi
Continuous Code Analysis for cross-language bug finding, powered by Web Assembly.
Key features
- Enables solved-aided programming
- Automatic and cross-language bug finding without false positive
- High performance
- Supported by academic research
Features
Upload your code, run automated tests, and get continuous feedback across Wasm, C, Rust and mixed-language projects.
Multi and Cross-Language Support
Seamlessly analyze C, C++, Rust, and mixed-language projects through WebAssembly, enabling comprehensive testing across language boundaries.
Test Generation
Automatically generate tests to maximize code coverage and uncover hidden edge cases, 3.03× more efficiently than KLEE.
Constraint-Based Programming Engine
Integrate constraint solving directly into your favorite language without dedicated tools.
Why Owi?
Owi is actively maintained and as performant as renowned tools like KLEE for bug-finding for the C language and even more efficient and performant for code coverage.
| Tool | No false negatives | No false positives | Features Code coverage | Supported languages |
|---|---|---|---|---|
| Owi | C/C++, Rust, TinyGo, Wasm, Zig | |||
| KLEE | — | C | ||
| Frama-C (EVA) | — | — | C | |
| Astrée | — | — | C/C++ |
Powerful
Code coverage 3.27× faster than KLEE
Coverage efficiency 3.03× higher than KLEE
Early Success
In its early development phases, Owi has been able to detect new bugs in the Rust standard library.
Early adopters and co-developers
Owi has been the subject of several projects and research works.
Owi in Action: Seacoral Test Orchestrator
Owi is integrated into Seacoral, our advanced test orchestrator, to provide powerful cross-language analysis capabilities for C/C++ and Rust projects.
Success Stories
See how Owi makes formal methods accessible
Roadmap
Coming soon...
- Support of C/C++
- Support of More LanguagesRust, Zig, TinyGo
- Automatic Integration to Build SystemsLike Cargo for Rust or CC for C
- Even More Language SupportHaskell, OCaml, Guile, Dart, Java, Kotlin
Ready to analyze your project?
Get in touch with us to discuss how Owi can help analyze your project.