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
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 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
27. Public OCaml API
28. 10. Overview
29. 11. How to Define Custom Functions
30. 12. Generated API Documentation
32. Hacking
33. 13. Development Setup
34. 14. Coding Guidelines
35. 15. Documentation
36. 16. Testing
37. 17. Benchmarking
39. About
40. 18. History of Owi
41. 19. Authors and Contributors
42. 20. License
43. 21. Funding
44. 22. Changelog
45. 23. Projects and People Using Owi