PKU-ASAL / PKUWA
☆12Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for PKUWA
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆12Updated last month
- A native symbolic execution engine for WebAssembly☆39Updated 4 months ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆9Updated 7 months ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- ☆58Updated 2 years ago
- ☆20Updated 3 years ago
- ☆12Updated 3 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆34Updated 4 years ago
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated last year
- A Pointer Analysis Framework for Rust☆42Updated 3 weeks ago
- Implementation of the Reusable Enclaves paper☆12Updated last year
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- ☆12Updated 2 years ago
- ☆18Updated 2 years ago
- Public-facing course info for program analysis materials.☆37Updated this week
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆51Updated 3 years ago
- ☆12Updated 2 years ago
- A fuzzer for SMT solvers☆19Updated last year
- ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…☆22Updated 3 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- caijiqhx notes☆17Updated 2 weeks ago
- Papers related with kernel papers☆13Updated last year
- ☆33Updated last year
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆29Updated 4 years ago
- ☆28Updated 2 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆19Updated 7 years ago
- This repository is used to analysis the shared resources of different containers☆28Updated 2 weeks ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆21Updated 5 years ago
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆13Updated last year