security-pride / BREWasm
BREWasm: A general purpose static binary rewriting framework for Wasm.
☆23Updated 4 months ago
Alternatives and similar repositories for BREWasm:
Users that are interested in BREWasm are comparing it to the libraries listed below
- ☆28Updated 3 years ago
- [Experimental] A binary translator from Linux/ELF to WebAssembly☆204Updated last week
- Binary-only fuzzer for WebAssembly (WASI)☆48Updated 8 months ago
- A native symbolic execution engine for WebAssembly☆43Updated 9 months ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆52Updated last month
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 2 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆19Updated last month
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 7 years ago
- A tour of what some Rust language features look like after compilation.☆44Updated 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☆27Updated 2 years ago
- WasmA is a framework to create static analyses for WebAssembly binaries.☆8Updated 2 years ago
- Cross-Architecture Function Similarity Search Model - https://arxiv.org/abs/2310.03605☆14Updated last year
- Rust bindings fo the Apple Silicon Hypervisor.framework☆38Updated 6 months ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆28Updated last week
- AIL: The angr Intermediate Language.☆32Updated last week
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated last month
- A fuzzer setup to fuzz libc functions.☆15Updated 2 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆133Updated last year
- Generation-based, context-free grammar fuzzer.☆52Updated 2 years ago
- ☆18Updated 7 months ago
- Fuzzer for Wasm and Wasmer☆27Updated 5 years ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆119Updated 10 months ago
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆41Updated this week
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆43Updated 3 months ago
- ☆45Updated last year
- ROSA: Finding Backdoors with Fuzzing☆21Updated last month
- ☆14Updated 4 months ago
- A structured fuzzing framework built in Rust☆26Updated 2 years ago