danleh / wasabiLinks
A dynamic analysis framework for WebAssembly programs.
☆376Updated last month
Alternatives and similar repositories for wasabi
Users that are interested in wasabi are comparing it to the libraries listed below
Sorting:
- A static binary rewriter that does not use heuristics☆304Updated 7 years ago
- A fuzzer framework built in Rust☆469Updated 2 years ago
- Binary Analysis Framework in Rust☆565Updated last year
- ☆76Updated 2 years ago
- Symbolic execution of LLVM IR with an engine written in Rust☆554Updated last year
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 4 years ago
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆124Updated 5 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 7 years ago
- WebAssembly to C decompiler☆414Updated last year
- High-level Capstone system bindings for Rust☆242Updated last week
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆68Updated 2 years ago
- A fast Rust-based safe and thead-friendly grammar-based fuzz generator☆219Updated 4 years ago
- Lightbeam has moved and now lives in the Wasmtime repository!☆249Updated 5 years ago
- WebAssembly decoder & disassembler library☆268Updated 3 years ago
- AFLFast (extends AFL with Power Schedules)☆417Updated last year
- WebAssembly Reference Manual☆602Updated 2 years ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆118Updated 3 years ago
- a grammar based feedback fuzzer☆165Updated last year
- A simple event-driven library for parsing WebAssembly binary files☆179Updated 4 years ago
- rust elf parsing, manipulation and (re)linking toolkit☆205Updated 4 years ago
- radare2-based decompiler and symbol executor☆377Updated 5 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆228Updated 3 years ago
- Rust bindings for the unicorn CPU emulator☆140Updated 4 years ago
- symbolic execution engine for Rust☆353Updated 6 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆493Updated 9 months ago
- Binary coverage tool without binary modification for Windows☆436Updated 4 years ago
- CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)☆240Updated 5 years ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆256Updated 2 months ago
- 🎯 A collection of fuzzing targets written in Rust.☆105Updated 3 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆90Updated 10 months ago