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
Nov 11, 2024 - OCaml