WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world Wasm binaries, which can trigger hidden inconsistencies among Wasm runtimes.
☆16Jul 27, 2024Updated 2 years ago
Alternatives and similar repositories for WASMaker
Users that are interested in WASMaker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆22Updated this week
- RE for champions☆18Sep 22, 2026Updated last month
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆23Nov 28, 2024Updated last year
- No description yet☆11May 26, 2023Updated 3 years ago
- ☆28Sep 25, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- RWX Section Abusing☆17Nov 19, 2023Updated 2 years ago
- Heap encryption in Nim☆21Aug 25, 2024Updated 2 years ago
- Compiler for the Jack Programming Language☆20Nov 5, 2024Updated last year
- Gated graph convolutional recurrent neural networks code used in:☆17Jul 10, 2023Updated 3 years ago
- ☆30Oct 25, 2021Updated 5 years ago
- Plugin for ida pro that copies RVA under cursor to clipboard.☆18Jul 28, 2023Updated 3 years ago
- Record and Replay for WebAssembly☆36Jul 1, 2026Updated 3 months ago
- opinionated Hardhat+Foundry template for smart contract development. 🚀 Slither + CI + coverage included.☆12Apr 29, 2023Updated 3 years ago
- Linux Kernel Rookit Hooking Mechanism☆32Oct 9, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆77Jul 20, 2022Updated 4 years ago
- Add GoReSym symbols to an x(64|32)dbg debug session, using x64dbg_automate.☆16Apr 17, 2025Updated last year
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆96Jul 29, 2024Updated 2 years ago
- MCP server for treesitter☆20Jan 14, 2026Updated 9 months ago
- ☆11Mar 22, 2022Updated 4 years ago
- ☆17Jun 26, 2025Updated last year
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- IDA plugin to recover source code from panic information on rust☆19May 9, 2025Updated last year
- ☆19Dec 3, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Collection of Cheat dumps for Research and Detection.☆16Jan 4, 2026Updated 9 months ago
- Random program generator for Python☆10Jun 20, 2013Updated 13 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆12Feb 27, 2020Updated 6 years ago
- Plugin for https://github.com/x64dbg/x64dbg☆31Jan 31, 2025Updated last year
- ☆29Sep 5, 2025Updated last year
- idenLib (Library Function Identification) plugin for x32dbg☆41Feb 26, 2019Updated 7 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated 2 years ago
- ☆10May 27, 2023Updated 3 years ago
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆19Sep 16, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Library of UI Control Elements to Track and Dynamically Overlay Analytic Provenance☆12Sep 22, 2026Updated last month
- Rust implementation of the rectcut algorithm described in https://halt.software/dead-simple-layouts/☆18Feb 13, 2023Updated 3 years ago
- Reflexer Labs, RAI☆13Jan 7, 2022Updated 4 years ago
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 3 years ago
- A native symbolic execution engine for WebAssembly☆48Mar 23, 2026Updated 7 months ago
- This master thesis project continuously collects and analyses Microsoft Windows kernel drivers using static and dynamic methods to help s…☆25Nov 4, 2024Updated last year