security-pride / BREWasmLinks
BREWasm: A general purpose static binary rewriting framework for Wasm.
☆24Updated last year
Alternatives and similar repositories for BREWasm
Users that are interested in BREWasm are comparing it to the libraries listed below
Sorting:
- A tour of what some Rust language features look like after compilation.☆49Updated 2 years ago
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆16Updated last year
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆60Updated 4 months ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆17Updated last month
- Binary-only fuzzer for WebAssembly (WASI)☆52Updated last year
- ☆30Updated 4 years ago
- AOT binary translator of Linux/ELF → WebAssembly☆313Updated this week
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 7 months ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆38Updated 3 years ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆33Updated 7 months ago
- A native symbolic execution engine for WebAssembly☆49Updated last year
- BinRec: Dynamic Binary Lifting and Recompilation☆145Updated 2 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- A (SLEIGH) disassembler that supports multiple architectures☆88Updated 3 years ago
- ☆45Updated 4 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆22Updated 6 months ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 11 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆121Updated 10 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
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆120Updated 2 years ago
- SLOT: SMT-LLVM Optimizing Translation☆58Updated 8 months ago
- A structured fuzzing framework built in Rust☆31Updated 3 years ago
- A system call interception tool☆58Updated last year
- Control-Flow Graph (CFG) Visualizer for VSCode☆62Updated 2 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated last month
- CodeHawk Abstract Interpretation Engine and Analyzers☆72Updated 2 weeks ago
- A binary analysis framework written in Rust.☆168Updated 6 months ago
- ☆45Updated 3 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆96Updated last year
- Triton-based DSE library with loading and exploration capabilities (and more!)☆134Updated last week