owi
WebAssembly toolkit
An OCaml-based toolchain for WebAssembly development and bug finding.
WebAssembly Swissknife & cross-language bugfinder
139 stars
8 watching
19 forks
Language: OCaml
last commit: about 2 months ago aflcconcolic-executionconstraintsformatterfuzzerinterpreternlnetocamloptimizerowiparallelrustsmtsolversymbolic-executionwasmwasm2watwat2wasmwebassembly