security-pride / BREWasm
BREWasm: A general purpose static binary rewriting framework for Wasm.
☆20Updated 4 months ago
Alternatives and similar repositories for BREWasm:
Users that are interested in BREWasm are comparing it to the libraries listed below
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆51Updated this week
- ☆28Updated 3 years ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆28Updated 7 months ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 2 years ago
- An experimental binary translator from Linux/ELF to WebAssembly☆188Updated this week
- Binary-only fuzzer for WebAssembly (WASI)☆48Updated 7 months ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆67Updated last year
- LLVM meets Code Property Graphs☆92Updated 4 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated 3 weeks ago
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆59Updated 2 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 6 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☆27Updated 2 years ago
- ☆76Updated 2 years ago
- A native symbolic execution engine for WebAssembly☆43Updated 8 months ago
- ☆42Updated 2 years ago
- Scalable Validator for Binary Lifters☆55Updated 4 years ago
- A self-generating WebAssembly parser & serializer in Rust.☆15Updated last year
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 5 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆140Updated 2 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆129Updated last year
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆32Updated last year
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆14Updated last week
- A structured fuzzing framework built in Rust☆26Updated 2 years ago
- A tour of what some Rust language features look like after compilation.☆44Updated last year
- ☆30Updated 2 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated this week
- Cross-Architecture Function Similarity Search Model - https://arxiv.org/abs/2310.03605☆14Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 2 years ago
- a webassembly wasm decompiler and Static Analysis Framework based on llvm IR. (Work In Progress)☆57Updated last week
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆28Updated 2 months ago