danleh / wasabi
A dynamic analysis framework for WebAssembly programs.
☆372Updated 2 weeks ago
Alternatives and similar repositories for wasabi:
Users that are interested in wasabi are comparing it to the libraries listed below
- A fuzzer framework built in Rust☆469Updated 2 years ago
- WebAssembly decoder & disassembler library☆269Updated 3 years ago
- ☆76Updated 2 years ago
- Binary Analysis Framework in Rust☆559Updated last year
- WebAssembly to C decompiler☆410Updated last year
- WebAssembly Reference Manual☆600Updated 2 years ago
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆124Updated 5 years ago
- radare2-based decompiler and symbol executor☆375Updated 4 years ago
- Symbolic execution of LLVM IR with an engine written in Rust☆550Updated last year
- A fuzzing library in JavaScript. ✨☆118Updated 6 months ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆68Updated last year
- A fast Rust-based safe and thead-friendly grammar-based fuzz generator☆218Updated 4 years ago
- A simple event-driven library for parsing WebAssembly binary files☆179Updated 4 years ago
- A static binary rewriter that does not use heuristics☆303Updated 6 years ago
- Lightbeam has moved and now lives in the Wasmtime repository!☆249Updated 5 years ago
- high-level Capstone system bindings for Rust☆229Updated 2 months ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆117Updated 3 years ago
- A project to run fuzzing jobs at scale with Kubernetes.☆147Updated 4 years ago
- Capstone disassembler framework for JavaScript☆179Updated 2 years ago
- RLBox sandboxing framework☆296Updated last month
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 7 years ago
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 4 years ago
- AFLFast (extends AFL with Power Schedules)☆417Updated last year
- Mirror of the spec testsuite☆207Updated last week
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆491Updated 7 months ago
- symbolic execution engine for Rust☆352Updated 6 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆638Updated 2 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆258Updated last year
- An interactive debugger for WebAssembly☆137Updated last year
- A native non-web embedding of WebAssembly for Windows/Linux☆399Updated 10 months ago