Entry
Appears in 4 awesome lists
Owi is a toolchain for working with WebAssembly (Wasm) in OCaml, featuring a powerful, parallel symbolic execution engine for Wasm. It also provides frontends for compiling and analyzing C and Rust programs.
Section: Program analysis · Owi is a toolchain for working with WebAssembly (Wasm) in OCaml, featuring a powerful, parallel symbolic execution engine for Wasm. It also provides frontends for compiling and analyzing C and Rust programs.
Section: Rust · Parallel (dynamic) symbolic execution engine built on WebAssembly (Wasm) that can run Rust code.
Section: Non-Web Embeddings
Section: Debugging · A symbolic execution tool (paper) AGPL-3.0-or-later
Suite of tools built atop the Binary Analysis Platform (BAP) to heuristically detect CWEs in compiled binaries and firmware.
A safe and fast WebAssembly runtime supporting WASI and Emscripten
Symbolic execution tool for binaries (x86, x86_64 and ARMV7) and Ethereum smart contract bytecode.
A lightning fast WebAssembly interpreter designed for embedded devices, compatible with both ESP's.
The WebAssembly Binary Toolkit, for the wasm-strip and wasm-objdump tools to reduce .wasm file size.
WAVM is a WebAssembly virtual machine, designed for use in non-web applications.
WebAssembly Micro Runtime (WAMR).
BAP is a reverse engineering and program analysis platform that targets binary programs.