1. Home
2. Installation
3. Supported Wasm proposals
5. Symbolic Execution Engine
6. 1. Overview
7. 1. 1.1. Symbolic Execution 101
   2. 1.2. Quickstart
   3. 1. 1.2.1. C
      2. 1.2.2. C++
      3. 1.2.3. Rust
      4. 1.2.4. Zig
      5. 1.2.5. Wasm
8. 2. Bug-Finding, Testing & Pen-testing
9. 1. 2.1. Examples of Bug Finding
   2. 2.2. How to Speed it Up
   3. 2.3. Replaying a model
   4. 2.4. Checking iso-behaviour of two modules
   5. 2.5. Comparison to Fuzzing and Abstract Interpretation
   6. 2.6. Bugs Found by Owi
10. 3. Solver-Aided Programming
11. 1. 3.1. Examples of Problem Solving
    2. 3.2. How to Speed it Up
    3. 3.3. Comparison to Rosette, Prolog, etc.
12. 4. Test-Case Generation
13. 1. 4.1. Labels
14. 5. Verification and Proof of Programs
15. 1. 5.1. Comparison with Deductive Verification and Abstract Interpretation
    2. 5.2. E-ACSL
    3. 5.3. Weasel
16. 6. Going Further
17. 1. 6.1. Comparison with Other Engines
    2. 6.2. Talks and Papers
    3. 6.3. Commands and Options
    4. 6.4. API: Symbols and Helpers
19. WebAssembly Toolkit
20. 7. Overview
21. 8. Comparison with Other Tools
23. Man pages
24. 9. owi
25. 1. 9.1. owi c
    2. 9.2. owi c++
    3. 9.3. owi conc
    4. 9.4. owi fmt
    5. 9.5. owi instrument
    6. 9.6. owi iso
    7. 9.7. owi opt
    8. 9.8. owi replay
    9. 9.9. owi run
    10. 9.10. owi rust
    11. 9.11. owi script
    12. 9.12. owi sym
    13. 9.13. owi validate
    14. 9.14. owi version
    15. 9.15. owi wasm2wat
    16. 9.16. owi wat2wasm
    17. 9.17. owi zig
27. Public OCaml API
28. 10. Overview
29. 11. How to Define Custom Functions
30. 12. Game Of Life
31. 13. Generated API Documentation
33. Hacking
34. 14. Development Setup
35. 15. Coding Guidelines
36. 16. Documentation
37. 17. Testing
38. 18. Benchmarking
40. About
41. 19. History of Owi
42. 20. Authors and Contributors
43. 21. License
44. 22. Funding
45. 23. Changelog
46. 24. Projects and People Using Owi