1. Home
2. Installation
3. Supported Wasm proposals
4. Comparison with other tools
6. Symbolic Execution Engine
7. 1. Overview
8. 1. 1.1. Symbolic Execution 101
   2. 1.2. Quickstart
9. 2. Bug-Finding, Testing & Pen-testing
10. 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
11. 3. Solver-Aided Programming
12. 1. 3.1. Examples of Problem Solving
    2. 3.2. How to Speed it Up
    3. 3.3. Comparison to Rosette, Prolog, etc.
13. 4. Test-Case Generation
14. 1. 4.1. Labels
15. 5. Verification and Proof of Programs
16. 1. 5.1. Comparison with Deductive Verification and Abstract Interpretation
    2. 5.2. E-ACSL
    3. 5.3. Weasel
17. 6. Going Further
18. 1. 6.1. Talks and Papers
    2. 6.2. Commands and Options
    3. 6.3. API: Symbols and Helpers
20. WebAssembly Toolkit
21. 7. Overview
22. 8. Comparison with Other Tools
24. Man pages
25. 9. owi
26. 1. 9.1. owi analyze
    2. 9.2. owi c
    3. 9.3. owi c++
    4. 9.4. owi conc
    5. 9.5. owi fmt
    6. 9.6. owi instrument
    7. 9.7. owi iso
    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
28. Public OCaml API
29. 10. Overview
30. 11. How to Define Custom Functions
31. 12. Generated API Documentation
33. Hacking
34. 13. Development Setup
35. 14. Coding Guidelines
36. 15. Documentation
37. 16. Testing
38. 17. Benchmarking
40. About
41. 18. History of Owi
42. 19. Authors and Contributors
43. 20. License
44. 21. Funding
45. 22. Changelog
46. 23. Projects and People Using Owi