security-pride / WASMakerLinks
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.
☆17Updated last year
Alternatives and similar repositories for WASMaker
Users that are interested in WASMaker are comparing it to the libraries listed below
Sorting:
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 7 months ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- ☆45Updated 4 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆52Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 4 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆73Updated 7 months ago
- ☆20Updated 10 months ago
- Practical fuzzing tutorials and training☆31Updated last year
- 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
- ☆16Updated 3 weeks ago
- SLOT: SMT-LLVM Optimizing Translation☆59Updated 8 months ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆43Updated 2 years ago
- Uncovering Container Confusion in the Linux Kernel☆45Updated last year
- ☆13Updated 3 years ago
- a friendly implementation of nyx ontop of firecracker instead of QEMU. Easier to use & cleaner code☆24Updated 9 months ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆33Updated 11 months ago
- ☆59Updated 2 years ago
- ☆81Updated 7 months ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Updated last year
- simple type recognition in decompiled executables☆117Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated last year
- Binary Ninja Call Graph plugin☆24Updated 3 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- Generation-based, context-free grammar fuzzer.☆53Updated 3 years ago
- Practical Data-Only Attack Generation☆44Updated last year
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54Updated 7 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- ☆74Updated 2 years ago
- Semantic code search tool with GPU acceleration☆55Updated last month