Owi

#### 產品特色

* 跨語言自動錯誤發現
* WebAssembly 量身打造
* 符號執行（Symbolic Execution）
* 測試生成與證明輔助
* OCaml 類庫

#### 主要功能、特點

Owi 是一個自動錯誤發現工具，專為 WebAssembly、C、C++、Rust 和 Zig 量身打造。它能自動發現程式中的錯誤，並提供格式化器、解釋器、驗證器、Wasm 檔案轉換器及模糊測試工具。Owi 以 OCaml 作為基礎，可作為 OCaml 類庫使用。Owi 也支持測試生成、證明輔助及解決方案輔助，並在 WebAssembly 水準上提供全面的功能，包括格式化、解釋、驗證、轉換及模糊測試。

#### 指令

“`bash
# 無常用指令（自動生成）
“`