BREWasm: A general purpose static binary rewriting framework for Wasm.
☆23Nov 28, 2024Updated last year
Alternatives and similar repositories for BREWasm
Users that are interested in BREWasm are comparing it to the libraries listed below
Sorting:
- ☆19Sep 25, 2025Updated 5 months ago
- A native symbolic execution engine for WebAssembly☆48Jul 6, 2024Updated last year
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆17Jul 27, 2024Updated last year
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆68Jul 20, 2022Updated 3 years ago
- Verified Wasm runtime☆31Oct 30, 2023Updated 2 years ago
- Collects all WebAssembly modules from a given website☆27Aug 13, 2020Updated 5 years ago
- Compile WebAssembly to native binary☆22Aug 20, 2024Updated last year
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆52Updated this week
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 5 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆28Feb 7, 2026Updated last month
- blackhat usa 2022 I attended☆72Sep 23, 2022Updated 3 years ago
- ☆13Aug 18, 2025Updated 7 months ago
- Repository to gather the BOF files I will be developing☆11Oct 1, 2024Updated last year
- IDA plugin for auto rename symbol☆15Jan 16, 2025Updated last year
- ☆17Sep 1, 2023Updated 2 years ago
- Tool to collect and visualize memory usage of a process tree, mainly for Windows.☆19Dec 5, 2024Updated last year
- WebAssembly Transformation Library for the Component Model☆35Mar 13, 2026Updated last week
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆61Aug 13, 2025Updated 7 months ago
- ☆14May 28, 2025Updated 9 months ago
- Observability World for WASI☆26Mar 5, 2025Updated last year
- Implementation trade-offs in using Intel Pin for instruction tracing of complex programs☆15Oct 16, 2019Updated 6 years ago
- Rizin Signature Database (Source)☆17Aug 23, 2023Updated 2 years ago
- caijiqhx notes☆16Oct 26, 2024Updated last year
- ☆13Apr 28, 2025Updated 10 months ago
- A space-efficient bitmap implementation with inline storage optimization for Rust.☆15Oct 30, 2025Updated 4 months ago
- ☆77Jun 13, 2022Updated 3 years ago
- Wasm Analysis Framework For Lightweight Experiments☆57Mar 2, 2026Updated 2 weeks ago
- SFI verifier of Wasm binaries☆83Mar 22, 2023Updated 2 years ago
- ☆12Aug 29, 2020Updated 5 years ago
- Result of the Android security research☆17Feb 16, 2017Updated 9 years ago
- ☆12Sep 13, 2023Updated 2 years ago
- ☆17Feb 16, 2026Updated last month
- How to create a valid polyglot HTML/JS/WebAssembly module -☆12Oct 15, 2020Updated 5 years ago
- Dll injection through code page id modification in registry. Based on jonas lykk research☆17Jun 18, 2022Updated 3 years ago
- Android virtual machine and deobfuscator☆16Jan 31, 2024Updated 2 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 8 months ago
- Header information parser for PE, ELF, DEX, MachO, ZIP (JAR, DocX).☆16Oct 30, 2025Updated 4 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆89Updated this week
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year