documentation overhaul plan

# General Stuff

| Tutorials (learning) | How-To Guides (goals) | Explanation (understanding) | Information (reference) |
|--------|--------|--------|--------|
| | <ul><li>installation (from static binary, opam, source)</li></ul> | <ul><li>General explanation</li><li>History of the project</li><li>Spelling and pronunciation</li></ul> | <ul><li>list of supported Wasm proposals</li><li>CHANGELOG</li><li>LICENSE</li><li>Authors and contributors</li><li>Fundings</li></ul> |

## Symbolic Execution Engine

| Tutorials (learning) | How-To Guides (goals) | Explanation (understanding) | Information (reference) |
|--------|--------|--------|--------|
| | | <ul><li>Comparison with others engines/languages (KLEE, Wasm ones...)</li><li>Talks</li><li>Papers</li></ul> | <ul><li>List of subcommands</li><li>Supported languages</li><li>Present all exposed functions for symbols etc.</li></ul> |

#### Bug-Finding, Testing & Pen-testing

| Tutorials (learning) | How-To Guides (goals) | Explanation (understanding) | Information (reference) |
|--------|--------|--------|--------|
| <ul><li>Examples of bug finding (programming error, assertion failure, differential testing)</li></ul> | <ul><li>How-To make it faster?</li></ul> | <ul><li>Compare to fuzzers and abstract interpretation</li></ul> | <ul><li>Bugs found by Owi</li></ul> |

#### Solver-Aided Programming

| Tutorials (learning) | How-To Guides (goals) | Explanation (understanding) | Information (reference) |
|--------|--------|--------|--------|
| <ul><li>Examples of problems solving (polynomial, maze, dobble, music generation, graphs generation...)</li></ul> | <ul><li>How-To make it faster?</li></ul> | <ul><li>Comparison to Rosette, Prolog and other tools</li></ul> | |

#### Test-Case Generation

| Tutorials (learning) | How-To Guides (goals) | Explanation (understanding) | Information (reference) |
|--------|--------|--------|--------|
| | | | |

#### Verification & Proof of Programs

| Tutorials (learning) | How-To Guides (goals) | Explanation (understanding) | Information (reference) |
|--------|--------|--------|--------|
| | | <ul><li>Comparison with deductive verification and abstract interpretation</li></ul> | |

## Wasm Toolkit

| Tutorials (learning) | How-To Guides (goals) | Explanation (understanding) | Information (reference) |
|--------|--------|--------|--------|
| | | <ul><li>Comparison with other tools (Binaryen, wabt)</li><li>Talks</li><li>Papers</li></ul> | <ul><li>list of subcommands</li></ul> |

## Public OCaml API

| Tutorials (learning) | How-To Guides (goals) | Explanation (understanding) | Information (reference) |
|--------|--------|--------|--------|
| | <ul><li>How-To define custom functions in OCaml</li></ul> | <ul><li>Talks</li><li>Papers</li></ul> | <ul><li>odoc generated documentation</li></ul> |

## Private OCaml API, Sources & Hacking

| Tutorials (learning) | How-To Guides (goals) | Explanation (understanding) | Information (reference) |
|--------|--------|--------|--------|
| | <ul><li>development set-up</li></ul>  | <ul><li>Talks</li><li>Papers</li></ul> | <ul><li>odoc generated documentation</li></ul> |

## Other ideas

- [ ] what about the fuzzer?

## TODO

- [ ] list of projects/people using Owi

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

documentation overhaul plan #554

General Stuff

Symbolic Execution Engine

Bug-Finding, Testing & Pen-testing

Solver-Aided Programming

Test-Case Generation

Verification & Proof of Programs

Wasm Toolkit

Public OCaml API

Private OCaml API, Sources & Hacking

Other ideas

TODO

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

documentation overhaul plan #554

Description

General Stuff

Symbolic Execution Engine

Bug-Finding, Testing & Pen-testing

Solver-Aided Programming

Test-Case Generation

Verification & Proof of Programs

Wasm Toolkit

Public OCaml API

Private OCaml API, Sources & Hacking

Other ideas

TODO

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions