security-pride / BREWasmLinks
BREWasm: A general purpose static binary rewriting framework for Wasm.
☆23Updated 9 months ago
Alternatives and similar repositories for BREWasm
Users that are interested in BREWasm are comparing it to the libraries listed below
Sorting:
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆15Updated last year
- AOT binary translator of Linux/ELF → (WebAssembly, ...)☆272Updated this week
- ☆29Updated 3 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆58Updated last month
- A tour of what some Rust language features look like after compilation.☆45Updated 2 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆51Updated last year
- A native symbolic execution engine for WebAssembly☆48Updated last year
- libLISA: Instruction Discovery and Analysis on x86-64☆116Updated 6 months ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆31Updated 3 months ago
- SLOT: SMT-LLVM Optimizing Translation☆60Updated 4 months ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆52Updated 3 months ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated 5 months ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆22Updated 7 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆143Updated last year
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 3 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- A system call interception tool☆58Updated 9 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆21Updated 2 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 2 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆93Updated last year
- ☆79Updated 3 years ago
- Generation-based, context-free grammar fuzzer.☆52Updated 3 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆33Updated this week
- ROSA: Finding Backdoors with Fuzzing☆24Updated 2 months ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆31Updated last year
- A high-performance, parallel, compilation-based symbolic execution engine☆141Updated this week
- Uncovering Container Confusion in the Linux Kernel☆44Updated last year
- A custom ELF linker/loader for installing ET_REL binary patches at runtime☆170Updated this week
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆44Updated last month
- blackhat usa 2022 I attended☆73Updated 2 years ago