danleh / wasabi
A dynamic analysis framework for WebAssembly programs.
☆372Updated 7 months ago
Alternatives and similar repositories for wasabi:
Users that are interested in wasabi are comparing it to the libraries listed below
- Symbolic execution of LLVM IR with an engine written in Rust☆547Updated last year
- A fuzzer framework built in Rust☆468Updated 2 years ago
- A static binary rewriter that does not use heuristics☆303Updated 6 years ago
- A fast Rust-based safe and thead-friendly grammar-based fuzz generator☆218Updated 4 years ago
- ☆75Updated 2 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 6 years ago
- Binary Analysis Framework in Rust☆557Updated last year
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆123Updated 5 years ago
- A fuzzing library in JavaScript. ✨☆117Updated 5 months ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆226Updated 3 years ago
- a grammar based feedback fuzzer☆165Updated last year
- radare2-based decompiler and symbol executor☆374Updated 4 years ago
- WebAssembly to C decompiler☆408Updated last year
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆199Updated 2 months ago
- Lightbeam has moved and now lives in the Wasmtime repository!☆251Updated 5 years ago
- high-level Capstone system bindings for Rust☆229Updated last month
- WebAssembly decoder & disassembler library☆269Updated 3 years ago
- CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)☆239Updated 5 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆162Updated 4 years ago
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆67Updated last year
- Domain-Specific Fuzzing with Waypoints☆237Updated last year
- Why fuzzing with emulators is amazing☆135Updated 4 years ago
- Load-time selective binary rewriting☆156Updated 2 years ago
- A simple event-driven library for parsing WebAssembly binary files☆179Updated 4 years ago
- Binary coverage tool without binary modification for Windows☆435Updated 4 years ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆116Updated 3 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆490Updated 7 months ago
- A project to run fuzzing jobs at scale with Kubernetes.☆146Updated 4 years ago
- RLBox sandboxing framework☆296Updated last week