security-pride / BREWasmLinks
BREWasm: A general purpose static binary rewriting framework for Wasm.
☆23Updated 8 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…☆14Updated last year
- AOT binary translator from Linux/ELF to WebAssembly☆265Updated this week
- Binary-only fuzzer for WebAssembly (WASI)☆50Updated last year
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 2 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆49Updated 2 months ago
- A tour of what some Rust language features look like after compilation.☆45Updated 2 years ago
- ☆29Updated 3 years ago
- A native symbolic execution engine for WebAssembly☆47Updated last year
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆57Updated this week
- libLISA: Instruction Discovery and Analysis on x86-64☆115Updated 5 months ago
- SLOT: SMT-LLVM Optimizing Translation☆60Updated 3 months ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆92Updated last year
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆31Updated 2 months ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆31Updated 11 months ago
- tvisor is a tiny 100% userspace syscall interception framework☆44Updated last year
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated last month
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- An open-source interactive visualization tool for comparing IR CFGs☆86Updated 3 weeks ago
- A structured fuzzing framework built in Rust☆26Updated 2 years ago
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆114Updated last year
- simple type recognition in decompiled executables☆113Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 7 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆140Updated last year
- ☆79Updated 3 years ago
- ☆19Updated 10 months ago
- ☆43Updated 4 years ago
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆36Updated last year
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 7 years ago
- Rust library for lifting raw binary data to LLVM IR☆55Updated 2 weeks ago
- A (SLEIGH) disassembler that supports multiple architectures☆84Updated 3 years ago