security-pride / BREWasmLinks
BREWasm: A general purpose static binary rewriting framework for Wasm.
☆23Updated 10 months ago
Alternatives and similar repositories for BREWasm
Users that are interested in BREWasm are comparing it to the libraries listed below
Sorting:
- AOT binary translator of Linux/ELF → (WebAssembly, ...)☆287Updated this week
- A tour of what some Rust language features look like after compilation.☆48Updated 2 years ago
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆15Updated last year
- Binary-only fuzzer for WebAssembly (WASI)☆51Updated last year
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆53Updated 5 months ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆31Updated 5 months ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 3 years ago
- A native symbolic execution engine for WebAssembly☆49Updated last year
- A system call interception tool☆58Updated 10 months ago
- An open-source interactive visualization tool for comparing IR CFGs☆89Updated 3 months ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆94Updated last year
- ☆30Updated 4 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆144Updated 2 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆60Updated 2 months ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- A binary analysis framework written in Rust.☆168Updated 4 months ago
- A small tool for quickly generating LLVM passes☆29Updated last month
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 9 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆21Updated 4 months ago
- ☆79Updated 3 years 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
- A (SLEIGH) disassembler that supports multiple architectures☆85Updated 3 years ago
- Generation-based, context-free grammar fuzzer.☆52Updated 3 years ago
- ☆45Updated 4 years ago
- Rust bindings fo the Apple Silicon Hypervisor.framework☆42Updated last year
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆43Updated 2 years ago
- A structured fuzzing framework built in Rust☆31Updated 3 years ago
- Tantō slices functions into more consumable chunks☆72Updated 6 months ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆42Updated 2 years ago