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.
☆15Updated last year
Alternatives and similar repositories for WASMaker
Users that are interested in WASMaker are comparing it to the libraries listed below
Sorting:
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- LLVM Without The ROP Gadgets!☆26Updated last year
- ☆45Updated 4 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆58Updated 5 months ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆42Updated 2 years ago
- ☆13Updated 3 years ago
- ☆37Updated 2 years ago
- Symbolic Execution Engine in Rust☆21Updated 2 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆51Updated last year
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24Updated 6 months ago
- Python bindings for BochsCPU☆37Updated 3 months 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
- ☆81Updated 5 months ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago
- Rust library for lifting raw binary data to LLVM IR☆59Updated 3 months ago
- ☆20Updated 8 months ago
- Practical fuzzing tutorials and training☆30Updated last year
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆49Updated this week
- ☆60Updated 8 months ago
- ☆59Updated 2 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆71Updated 5 months ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆38Updated 2 years ago
- binary->LLVM->circuits☆19Updated last year
- Fast and effective grammar-based fuzzing based on Gramatron☆15Updated 7 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 9 months ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 3 years ago
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆43Updated 2 years ago
- A parser for Microsoft PDB (Program Database) debugging information☆22Updated last year
- A tour of what some Rust language features look like after compilation.☆49Updated 2 years ago