security-pride / BREWasm
BREWasm: A general purpose static binary rewriting framework for Wasm.
☆20Updated 2 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 last year
- ☆27Updated 3 years ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆26Updated 5 months ago
- A native symbolic execution engine for WebAssembly☆43Updated 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☆180Updated this week
- Binary-only fuzzer for WebAssembly (WASI)☆48Updated 6 months ago
- Fuzzer for Wasm and Wasmer☆26Updated 4 years ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆67Updated last year
- A versatile and easy-to-use static binary patching tool.☆34Updated last month
- LLVM meets Code Property Graphs☆90Updated 3 years ago
- CFG explorer for binaries☆79Updated 3 months ago
- ☆42Updated 11 months ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- ☆70Updated 11 months ago
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆56Updated 2 years ago
- A LLVM Sanitizer for Symbolic Tracing☆214Updated 5 months ago
- a webassembly wasm decompiler and Static Analysis Framework based on llvm IR. (Work In Progress)☆53Updated this week
- ☆17Updated last year
- A structured fuzzing framework built in Rust☆26Updated 2 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆66Updated 2 weeks ago
- A tour of what some Rust language features look like after compilation.☆44Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆139Updated 2 weeks 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
- ☆74Updated 2 years ago
- ☆29Updated 2 years ago
- Core emulator components for Icicle☆138Updated last month
- BinRec: Dynamic Binary Lifting and Recompilation☆126Updated last year
- SFI verifier of Wasm binaries☆81Updated last year
- A fuzzer setup to fuzz libc functions.☆15Updated 2 years ago