1. Home
  2. Installation
  3. Supported Wasm proposals
  4. Symbolic Execution Engine
  5. Overview
    1. Symbolic Execution 101
    2. Quickstart
  6. Bug-Finding, Testing & Pen-testing
    1. Examples of Bug Finding
    2. How to Speed it Up
    3. Replaying a model
    4. Checking iso-behaviour of two modules
    5. Comparison to Fuzzing and Abstract Interpretation
    6. Bugs Found by Owi
  7. Solver-Aided Programming
    1. Examples of Problem Solving
    2. How to Speed it Up
    3. Comparison to Rosette, Prolog, etc.
  8. Test-Case Generation
    1. Labels
  9. Verification and Proof of Programs
    1. Comparison with Deductive Verification and Abstract Interpretation
    2. E-ACSL
    3. Weasel
  10. Going Further
    1. Comparison with Other Engines
    2. Talks and Papers
    3. Commands and Options
    4. API: Symbols and Helpers
  11. WebAssembly Toolkit
  12. Overview
  13. Comparison with Other Tools
  14. Man pages
  15. owi
    1. owi analyze
    2. owi c
    3. owi c++
    4. owi conc
    5. owi fmt
    6. owi instrument
    7. owi iso
    8. owi replay
    9. owi run
    10. owi rust
    11. owi script
    12. owi sym
    13. owi validate
    14. owi version
    15. owi wasm2wat
    16. owi wat2wasm
    17. owi zig
  16. Public OCaml API
  17. Overview
  18. How to Define Custom Functions
  19. Generated API Documentation
  20. Hacking
  21. Development Setup
  22. Coding Guidelines
  23. Documentation
  24. Testing
  25. Benchmarking
  26. About
  27. History of Owi
  28. Authors and Contributors
  29. License
  30. Funding
  31. Changelog
  32. Projects and People Using Owi