security-pride / BREWasmLinks
BREWasm: A general purpose static binary rewriting framework for Wasm.
☆24Updated last year
Alternatives and similar repositories for BREWasm
Users that are interested in BREWasm are comparing it to the libraries listed below
Sorting:
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆17Updated last year
- Binary-only fuzzer for WebAssembly (WASI)☆52Updated last year
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆33Updated 7 months ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆18Updated last week
- A (SLEIGH) disassembler that supports multiple architectures☆88Updated 3 years ago
- A native symbolic execution engine for WebAssembly☆49Updated last year
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 7 months ago
- AOT binary translator of Linux/ELF → WebAssembly☆324Updated last week
- SLOT: SMT-LLVM Optimizing Translation☆59Updated 8 months ago
- ☆30Updated 4 years ago
- A tour of what some Rust language features look like after compilation.☆50Updated 2 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆23Updated 6 months ago
- A system call interception tool☆58Updated last year
- libLISA: Instruction Discovery and Analysis on x86-64☆123Updated 10 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆146Updated 2 years ago
- An open-source interactive visualization tool for comparing IR CFGs☆91Updated 6 months ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- ☆45Updated 4 years ago
- A structured fuzzing framework built in Rust☆31Updated 3 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Updated 3 years ago
- simple type recognition in decompiled executables☆117Updated last year
- Scalable Validator for Binary Lifters☆62Updated 5 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆135Updated last month
- ☆21Updated last year
- Learn to LibAFL with parking-game puzzles.☆77Updated 4 months ago
- SMT Modeling for Ghidra's PCODE☆32Updated this week
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆96Updated last year
- Semantic code search tool with GPU acceleration☆55Updated last month
- Binja Arm64 Disassembler☆96Updated 2 months ago