WebAssembly Swissknife & cross-language bugfinder
c rust formatter interpreter ocaml solver parallel webassembly wasm optimizer symbolic-execution constraints afl fuzzer smt concolic-execution owi wat2wasm nlnet wasm2wat
-
Updated
Jan 6, 2025 - OCaml