stg-tud / wasma
WasmA is a framework to create static analyses for WebAssembly binaries.
☆8Updated 2 years ago
Alternatives and similar repositories for wasma
Users that are interested in wasma are comparing it to the libraries listed below
Sorting:
- ☆28Updated 3 years ago
- A native symbolic execution engine for WebAssembly☆44Updated 10 months ago
- OSS-Fuzz Public Corpora Crawler☆22Updated 2 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆14Updated 7 months ago
- A list of data-only attacks☆19Updated this week
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆46Updated last year
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- ☆37Updated 2 years ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆95Updated last month
- ☆14Updated 2 years ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆17Updated 3 months ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated last month
- a browser fuzzer☆34Updated last year
- ☆40Updated 2 years ago
- Practical Data-Only Attack Generation☆39Updated 11 months ago
- A data-flow-guided fuzzer☆119Updated last year
- ☆19Updated last year
- ☆13Updated 7 months ago
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆101Updated last week
- 一个通过提取 fuzz crash 触发的调用堆栈 hash, 来动态分类的小工具☆16Updated 3 years ago
- ☆15Updated 3 months ago
- ☆31Updated last year
- Symbolic Execution Over Processor Traces☆121Updated 9 months ago
- A fuzzer setup to fuzz libc functions.☆15Updated 2 years ago
- The source code (including datasets) of V1SCAN (USENIX Security 2023; will be uploaded).☆40Updated last year
- ☆20Updated 3 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆95Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago