stg-tud / wasmaLinks
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:
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆14Updated 8 months ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆47Updated last year
- OSS-Fuzz Public Corpora Crawler☆24Updated 2 years ago
- A list of data-only attacks☆19Updated last week
- ☆28Updated 3 years ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆17Updated 4 months ago
- A native symbolic execution engine for WebAssembly☆45Updated 11 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- ☆15Updated 8 months ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Updated 3 years ago
- ☆31Updated last year
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- The source code (including datasets) of V1SCAN (USENIX Security 2023; will be uploaded).☆41Updated last year
- ☆38Updated 2 years ago
- ☆19Updated last week
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆37Updated 8 months ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆96Updated last year
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated last year
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆18Updated last year
- ☆76Updated 3 years ago
- ☆14Updated 3 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆101Updated last month
- a browser fuzzer☆37Updated last year
- ☆17Updated 2 years ago
- Practical Data-Only Attack Generation☆40Updated last year
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆55Updated 3 months ago
- A collection of widely-fuzzed targets☆46Updated 5 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆20Updated 3 weeks ago
- 一个通过提取 fuzz crash 触发的调用堆栈 hash, 来动态分类的小工具☆16Updated 3 years ago