DengMinghua / LLVM-Program-Dependency-Graph-GeneratorLinks
A pass that can generate PDG(in *.dot) for LLVM.
☆36Updated 9 years ago
Alternatives and similar repositories for LLVM-Program-Dependency-Graph-Generator
Users that are interested in LLVM-Program-Dependency-Graph-Generator are comparing it to the libraries listed below
Sorting:
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Updated last week
- ☆40Updated last year
- ☆66Updated 6 years ago
- Program dependence graph in LLVM☆42Updated 4 months ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆232Updated 6 years ago
- Dynamic Program Slicing in LLVM Compiler☆142Updated 7 years ago
- Symbolic Program Slicing with LLVM☆84Updated 5 years ago
- An external project example using SVF as a library☆23Updated 3 months ago
- Piecewise debloating toolchain☆15Updated 5 years ago
- SUPA☆28Updated 5 years ago
- ☆41Updated 2 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Updated 2 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Updated 5 years ago
- Pointer Analysis with Tunable Precision☆27Updated 9 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆62Updated 6 months ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆25Updated 4 years ago
- Lightweight tool for slicing☆35Updated last week
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆54Updated 4 years ago
- Static Slicer for LLVM☆67Updated 9 years ago
- ☆43Updated 3 years ago
- llvm Data Flow Graph dump☆37Updated 4 years ago
- This is java implementation of Graspan.☆20Updated last year
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 6 years ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆38Updated 3 years ago
- Semantic program repair system for C programs☆101Updated 3 years ago
- ☆42Updated 3 years ago
- Software Analysis and Verification Group☆15Updated last month
- Code clone detection; clone-related bug detection; sematic clone analysis☆224Updated last year
- Concurrency Paper☆114Updated 2 years ago