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☆22Updated last year
- ☆12Updated 4 months ago
- ☆58Updated 2 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆23Updated 2 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆9Updated 7 months ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆27Updated 3 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- z3 solver 学习☆45Updated last year
- A Pointer Analysis Framework for Rust☆42Updated 3 weeks ago
- Software Analysis and Verification Group☆13Updated last month
- Coveraged-based fuzzer for finding DBMS logical bugs☆48Updated 2 years ago
- ☆75Updated this week
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆42Updated last month
- CFG explorer for binaries☆32Updated last week
- The source code of project "LLift" (Enhancing static analysis with LLM)☆50Updated 8 months ago
- A fuzzer for SMT solvers☆19Updated last year
- Concurrency Paper☆94Updated last year
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆48Updated last year
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆51Updated 3 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆137Updated 3 months ago
- Recent Paper About Bug Detection☆30Updated 5 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- ☆7Updated 4 years ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆75Updated 10 months ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆29Updated 4 years ago
- A CallGraph Generation LLVM Pass for C and C++ program☆20Updated 2 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆24Updated 2 years ago