PKU-ASAL / WASEMLinks
WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
☆18Updated last year
Alternatives and similar repositories for WASEM
Users that are interested in WASEM are comparing it to the libraries listed below
Sorting:
- ☆13Updated 4 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆38Updated last year
- ☆37Updated 2 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Updated last year
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Updated 4 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆39Updated 5 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆89Updated 4 months ago
- A fuzzer setup to fuzz libc functions.☆16Updated 3 years ago
- ☆38Updated 3 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆101Updated 2 months ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated last year
- ☆17Updated 6 years ago
- Source code of ASAN--☆104Updated last year
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Updated 3 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆58Updated last year
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆32Updated last year
- ☆22Updated 5 years ago
- ☆19Updated 2 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆63Updated last year
- ☆34Updated this week
- ☆25Updated 4 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 4 years ago
- ☆57Updated last year
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆27Updated last month
- ☆29Updated 6 months ago
- ☆15Updated 4 years ago
- ☆47Updated 4 years ago
- ☆20Updated 8 months ago
- ☆42Updated 3 years ago
- ☆76Updated last month