zhaosiying12138 / PDG_demo
A toy implementation about Program Dependence Graph using LLVM
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for PDG_demo
- The notes about programming language theory☆23Updated last year
- ☆12Updated 4 months ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- A Pointer Analysis Framework for Rust☆42Updated last month
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆9Updated 7 months ago
- A fuzzer for SMT solvers☆19Updated this week
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- Software Analysis and Verification Group☆13Updated 2 months ago
- Call-graph generator.☆21Updated 6 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆29Updated 4 years ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆28Updated 3 years ago
- GAINS: Getting stArted wIth biNary analysiS☆30Updated 2 years ago
- ☆58Updated 2 years ago
- Precision-guided context sensitivity for pointer analysis☆57Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 3 months ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆51Updated 8 months ago
- ☆75Updated this week
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- A CallGraph Generation LLVM Pass for C and C++ program☆21Updated 2 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆11Updated last year
- Learning and Teaching Software Analysis and Verification via SVF☆22Updated 6 months ago
- z3 solver 学习☆45Updated last year
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity☆11Updated last year
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 4 years ago
- LLVM pass☆21Updated 4 years ago
- ☆11Updated 3 years ago
- ☆74Updated last year
- This repository is used to analysis the shared resources of different containers☆28Updated last month