danleh / wasabiLinks
A dynamic analysis framework for WebAssembly programs.
☆377Updated 2 months ago
Alternatives and similar repositories for wasabi
Users that are interested in wasabi are comparing it to the libraries listed below
Sorting:
- A fuzzer framework built in Rust☆469Updated 2 years ago
- Symbolic execution of LLVM IR with an engine written in Rust☆557Updated last year
- WebAssembly decoder & disassembler library☆267Updated 3 years ago
- ☆76Updated 3 years ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆69Updated 2 years ago
- WebAssembly Reference Manual☆602Updated 2 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 7 years ago
- A fast Rust-based safe and thead-friendly grammar-based fuzz generator☆219Updated 4 years ago
- A static binary rewriter that does not use heuristics☆304Updated 7 years ago
- A fuzzing library in JavaScript. ✨☆118Updated last month
- WebAssembly to C decompiler☆417Updated last year
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆124Updated 5 years ago
- a grammar based feedback fuzzer☆165Updated last year
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 4 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆205Updated 5 months ago
- Binary Analysis Framework in Rust☆566Updated last year
- Rust bindings for the unicorn CPU emulator☆143Updated 4 years ago
- A grammar based feedback Fuzzer☆446Updated 10 months ago
- A simple event-driven library for parsing WebAssembly binary files☆179Updated 4 years ago
- Lightbeam has moved and now lives in the Wasmtime repository!☆249Updated 5 years ago
- symbolic execution engine for Rust☆354Updated 6 years ago
- High-level Capstone system bindings for Rust☆245Updated last week
- Find the ideal fuzz targets in a Rust codebase☆215Updated 2 weeks ago
- Binary coverage tool without binary modification for Windows☆437Updated 4 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆644Updated 2 years ago
- An interactive debugger for WebAssembly☆138Updated last year
- radare2-based decompiler and symbol executor☆379Updated 5 years ago
- Rust bindings and utilities for LLVM’s libFuzzer☆231Updated 3 months ago
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆435Updated 3 weeks ago
- SFI verifier of Wasm binaries☆80Updated 2 years ago