owi
Wasm toolkit
A toolchain for working with WebAssembly, providing tools for symbolic execution, bug finding, and optimization of C code.
WebAssembly Swissknife & cross-language bugfinder
135 stars
8 watching
17 forks
Language: OCaml
last commit: 5 days ago aflcconcolic-executionconstraintsformatterfuzzerinterpreternlnetocamloptimizerowiparallelrustsmtsolversymbolic-executionwasmwasm2watwat2wasmwebassembly