enochii / simple-pointer-analysisLinks
Pointer analysis prototype (currently including anderson, steensgard).
☆16Updated 4 years ago
Alternatives and similar repositories for simple-pointer-analysis
Users that are interested in simple-pointer-analysis are comparing it to the libraries listed below
Sorting:
- ☆61Updated 3 years ago
- ☆25Updated 10 months ago
- Papers related with kernel papers☆13Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆89Updated 4 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Updated 4 years ago
- ☆19Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆27Updated 3 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆27Updated 3 weeks ago
- ☆37Updated 2 years ago
- ☆57Updated last year
- ☆23Updated 6 years ago
- The repo of "BugLens"☆34Updated 2 months ago
- A data-flow-guided fuzzer☆124Updated 2 years ago
- ☆32Updated 8 months ago
- ☆30Updated 3 years ago
- AFL/AFL++ version FishFuzz☆97Updated 10 months ago
- LLVM pass☆23Updated 5 years ago
- ☆30Updated 4 years ago
- AFLTeam Collaborative Parallel Fuzzing☆75Updated 3 years ago
- z3 solver 学习☆53Updated 2 years ago
- ☆36Updated 2 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆36Updated 2 years ago
- ViDeZZo source code.☆39Updated 9 months ago
- ☆25Updated 2 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆100Updated 2 months ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆39Updated last year
- A data dependence analyzer for C program☆20Updated 4 years ago
- ☆26Updated 9 years ago
- llvm Data Flow Graph dump☆36Updated 4 years ago