{"repo":"OCamlPro/owi","free":true,"listed":false,"github":"https://github.com/OCamlPro/owi","clone":"git clone https://github.com/OCamlPro/owi.git","description":"Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig","language":"OCaml","stars":321,"topics":["ocaml","wasm","webassembly","interpreter","c","concolic-execution","constraints","formatter","nlnet","optimizer"],"license":"AGPL-3.0","category":"dev-tools","readme_excerpt":"Owi: Seamless bug-finding for Wasm, C, C++, Rust and Zig [![build-badge]][build status] [![coverage-badge]][code coverage] Owi is an automatic bug-finding tool for C, C++, Go, Rust and Zig. It can also be used for test-case generation, proof of programs and solver-aided programming. It works at the WebAssembly level, and thus incidentally provides a Wasm Swiss Army Knife: a formatter, an interpreter, a validator, a converter between .wasm and .wat , but also a fuzzer! Owi being written in OCaml, you can also use it as an OCaml library for many purposes. Key resources - 📘 User Manual - Install Owi - Quickstart - 💬 Zulip community - List of supported Wasm proposals - Changelog - Hacking on Owi Explanations List of talks - [september 2023]: [ICFP OCaml track] @ The Westin Seattle - Seattle - [october 2023]: Wasm Research Day organized by the [WebAssembly Research Center] @ Google - Munich - april 2024: [OUPS (OCaml UserS in Paris)] @ Sorbonne Université - Paris - [november 2024]: [LVP working group] day of the [GdR GPL] @ Université Paris-Cité - Paris - [december 2024]: Léo Andrès' PhD defense @ Université Paris-Saclay - Gif-sur-Yvette - january 2025: [JFLA 2025] @ Domaine de Roiffé - Roiffé - [february 2025]: [Wasm Research Day 2025] (remote) @ Fastly - San Francisco - february 2025: [PPS Seminar] @ Université Paris-Cité - Paris - may 2025: [15th MirageOS hack retreat] @ Priscilla Queen of the Medina - Marrakech - june 2025: [\\ 2025] @ Faculty of Mathematics and Physics, Char","default_branch":null,"files":null,"tree":[],"storefront":"/r/OCamlPro","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/OCamlPro/owi/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}