tud-ccc / learning-compiler-graphs
☆14Updated 4 years ago
Alternatives and similar repositories for learning-compiler-graphs:
Users that are interested in learning-compiler-graphs are comparing it to the libraries listed below
- ☆38Updated last year
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated last year
- ☆12Updated 4 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆92Updated 3 weeks ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆25Updated 8 months ago
- Data-Driven Software Vulnerability Discovery (SVD)☆13Updated 4 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆76Updated last week
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆211Updated 5 months ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated 2 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆59Updated last week
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆44Updated last year
- llvm Data Flow Graph dump☆37Updated 3 years ago
- Simple passes for CFG and DFG analysis☆43Updated 5 years ago
- Teaching and Learning Software Verification via SVF☆33Updated 2 weeks ago
- ☆22Updated 2 years ago
- Program dependence graph in LLVM☆35Updated 9 months ago
- Symbolic Program Slicing with LLVM☆79Updated 4 years ago
- ☆39Updated last year
- ☆63Updated 5 years ago
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆103Updated 2 years ago
- A pass that can generate PDG(in *.dot) for LLVM.☆36Updated 8 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆74Updated 2 years ago
- ☆98Updated 6 months ago
- tool of llm-based indirect-call analyzer☆18Updated 2 months ago
- Vulnerability Discovery with Function Representation Learning from Unlabeled Projects☆37Updated 6 years ago
- A static-analysis tool to detect C/C++ vulnerabilities based on graph comparison☆26Updated 4 years ago
- Learning graph-based code representations for source-level functional similarity detection. ICSE'23☆50Updated 2 years ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 4 years ago
- Offical Implementation for PalmTree☆142Updated last year
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆14Updated 5 years ago