PKU-ASAL / SeeWasm
A native symbolic execution engine for WebAssembly
☆37Updated 2 months ago
Related projects: ⓘ
- A Pointer Analysis Framework for Rust☆39Updated 3 weeks ago
- ☆18Updated 2 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆55Updated 5 months ago
- ☆27Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆69Updated 2 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆39Updated 2 weeks ago
- ☆12Updated 2 months ago
- A data dependence analyzer for C program☆19Updated 2 years ago
- ☆27Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆134Updated 2 months ago
- Static range analysis for the LLVM compiler infrastructure.☆54Updated 4 years ago
- ☆28Updated 2 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆15Updated last year
- ☆31Updated last year
- ☆58Updated 2 years ago
- Teaching and Learning Software Verification via SVF☆32Updated 3 weeks ago
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- Anderson points-to analysis implementation based on LLVM☆12Updated 3 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆33Updated 4 years ago
- ☆75Updated 2 years ago
- Public-facing course info for program analysis materials.☆35Updated this week
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated last year
- Concurrency Paper☆89Updated last year
- git://g.csail.mit.edu/kint☆49Updated 10 years ago
- ☆25Updated 3 months ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 3 months ago
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆30Updated 2 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆114Updated last week
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- A fuzzer for SMT solvers☆19Updated last year