OCamlPro/owi

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

语言：OCaml · GitHub 星标：329 · Fork：41

话题：abstract-interpretation · c · constraints · formatter · fuzzer · haskell · interpreter · llvm

在 GitHub 上查看原仓库