OCamlPro/owi

GitHub: OCamlPro/owi

一款基于 WebAssembly 层面的跨语言自动 Bug 查找与程序验证工具，兼具测试用例生成与 Wasm 工具链功能。

Stars: 282 | Forks: 38

Owi: Seamless bug-finding for Wasm, C, C++, Rust and Zig

[![build-badge]][build status] [![coverage-badge]][code coverage] [📘 文档] [💬 Zulip]

**Owi** 是一款针对 C、C++、Go、Rust 和 Zig 的自动 Bug 查找工具。它也可用于生成测试用例、程序验证以及辅助求解编程。它工作在 WebAssembly 层面，因此顺带提供了一套 Wasm “瑞士军刀”：包括格式化工具、解释器、验证器、`.wasm` 与 `.wat` 之间的转换器，甚至还有一个 Fuzzer！由于 Owi 是用 OCaml 编写的，您还可以将其作为 OCaml 库用于多种用途。 ### 核心资源

📘 文档 → 阅读文档
💬 Zulip 社区 → 提问与协作

### 许可证 ``` Owi Copyright (C) 2021-2024 OCamlPro This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details. You should have received a copy of the GNU Affero General Public License along with this program. If not, see . ``` 详见 [LICENSE]。部分文件取自 Wasm 参考解释器。它们根据 Apache License 2.0 获得许可，并具有不同的版权，这在文件的头部声明中已注明。部分代码取自 Jane Street 的 `base` 库。它根据 MIT License 获得许可，并具有不同的版权，这在文件的头部声明中已注明。部分代码取自 Frama-C 的 E-ACSL 插件。它根据 GNU Lesser General Public License 2.1 获得许可，并具有不同的版权，这在文件的头部声明中已注明。

标签：AGPL, AI工具, C/C++, DNS 反向解析, Go, OCaml, Ruby工具, Rust, SMT求解器, Wasm, WebAssembly, Web安全扫描, Web安全扫描, Zig, 事务性I/O, 云安全监控, 代码安全, 代码格式化, 可视化界面, 形式化验证, 日志审计, 测试用例生成, 漏洞数据库, 漏洞枚举, 程序验证, 符号执行, 网络流量审计, 解释器, 静态分析