BREWasm: A general purpose static binary rewriting framework for Wasm.
☆22Nov 28, 2024Updated last year
Alternatives and similar repositories for BREWasm
Users that are interested in BREWasm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆16Jul 27, 2024Updated last year
- A native symbolic execution engine for WebAssembly☆48Mar 23, 2026Updated 4 months ago
- Verified Wasm runtime☆33Oct 30, 2023Updated 2 years ago
- Collects all WebAssembly modules from a given website☆27Aug 13, 2020Updated 5 years ago
- ☆30Oct 25, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Compile WebAssembly to native binary☆25Aug 20, 2024Updated last year
- blackhat usa 2022 I attended☆72Sep 23, 2022Updated 3 years ago
- A self-generating WebAssembly parser & serializer in Rust.☆29Jun 6, 2026Updated last month
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆21Jul 5, 2026Updated 2 weeks ago
- ☆26Jun 19, 2024Updated 2 years ago
- ☆14Aug 18, 2025Updated 11 months ago
- Repository to gather the BOF files I will be developing☆11Oct 1, 2024Updated last year
- ☆17Sep 1, 2023Updated 2 years ago
- Wasm Analysis Framework For Lightweight Experiments☆65Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆61Jul 15, 2026Updated last week
- Observability World for WASI☆28Mar 5, 2025Updated last year
- x86-64 Automated test data generator☆29Updated this week
- wabin: WebAssembly Binary Format in Go☆24Mar 4, 2023Updated 3 years ago
- Fuzzy search tool for IDA Pro (Update)☆12Mar 18, 2024Updated 2 years ago
- Implementation trade-offs in using Intel Pin for instruction tracing of complex programs☆15Oct 16, 2019Updated 6 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆67Jul 6, 2026Updated 2 weeks ago
- A space-efficient bitmap implementation with inline storage optimization for Rust.☆15Oct 30, 2025Updated 8 months ago
- Python wrapper to use FlowDroid APK analyzer.☆11Jan 30, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Apr 28, 2025Updated last year
- Formally Verified X.509 Certificate Validation☆15Nov 19, 2025Updated 8 months ago
- ☆79Jun 13, 2022Updated 4 years ago
- ☆12Sep 13, 2023Updated 2 years ago
- IDA plugin for auto rename symbol☆15Jan 16, 2025Updated last year
- Dll injection through code page id modification in registry. Based on jonas lykk research☆16Jun 18, 2022Updated 4 years ago
- ☆15Aug 8, 2022Updated 3 years ago
- Tool to collect and visualize memory usage of a process tree, mainly for Windows.☆19Dec 5, 2024Updated last year
- out-of-tree LLVM 21+ pass plugin for policy-driven IR obfuscation.☆91Jul 12, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- ☆12Aug 29, 2020Updated 5 years ago
- Verifying the SCION architecture using Gobra☆12Updated this week
- Result of the Android security research☆17Feb 16, 2017Updated 9 years ago
- Experimental port of ADEV to Julia☆11Nov 12, 2023Updated 2 years ago
- Android virtual machine and deobfuscator☆17Jan 31, 2024Updated 2 years ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago