danleh / wasabi
A dynamic analysis framework for WebAssembly programs.
☆363Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for wasabi
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆121Updated 4 years ago
- A static binary rewriter that does not use heuristics☆298Updated 6 years ago
- A fuzzer framework built in Rust☆470Updated 2 years ago
- Binary Analysis Framework in Rust☆551Updated 9 months ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆190Updated 4 months ago
- A fast Rust-based safe and thead-friendly grammar-based fuzz generator☆215Updated 4 years ago
- Cool code analysis research for WebAssembly☆66Updated last year
- Symbolic execution of LLVM IR with an engine written in Rust☆538Updated last year
- radare2-based decompiler and symbol executor☆371Updated 4 years ago
- WebAssembly to C decompiler☆399Updated 9 months ago
- A fuzzing library in JavaScript. ✨☆117Updated 3 weeks ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 6 years ago
- Fuzz your Rust code with Google-developed Honggfuzz !☆455Updated last month
- a grammar based feedback fuzzer☆162Updated last year
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆487Updated 2 months ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆631Updated last year
- Domain-Specific Fuzzing with Waypoints☆235Updated last year
- WebAssembly decoder & disassembler library☆264Updated 3 years ago
- A grammar based feedback Fuzzer☆425Updated 2 months ago
- AFLFast (extends AFL with Power Schedules)☆410Updated last year
- symbolic execution engine for Rust☆350Updated 6 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆224Updated 2 years ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆113Updated 3 years ago
- Capstone disassembler framework for JavaScript☆173Updated 2 years ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆251Updated 4 months ago
- high-level Capstone system bindings for Rust☆220Updated 2 months ago
- A cross-platform browser fuzzing framework☆304Updated this week
- Binary coverage tool without binary modification for Windows☆423Updated 4 years ago
- CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)☆238Updated 4 years ago