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
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆92Updated this week
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆23Updated 7 months ago
- ☆38Updated last year
- ☆12Updated 4 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated last year
- 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
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆57Updated 11 months ago
- A static-analysis tool to detect C/C++ vulnerabilities based on graph comparison☆26Updated 4 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆76Updated 2 years ago
- [code] "CFGExplainer: Explaining Graph Neural Network-Based Malware Classification from Control Flow Graphs" by Jerome Dinal Herath, Prit…☆34Updated 2 years ago
- ☆22Updated 2 years ago
- Vulnerability Discovery with Function Representation Learning from Unlabeled Projects☆37Updated 6 years ago
- ☆45Updated 2 years ago
- ☆95Updated 5 months ago
- ☆56Updated last year
- User Guided API Misuse Detection☆28Updated 2 years ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆30Updated 2 years ago
- Data-Driven Software Vulnerability Discovery (SVD)☆13Updated 4 years ago
- Learning and Teaching Software Analysis and Verification via SVF☆23Updated 10 months ago
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆68Updated 2 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆103Updated 2 years ago
- ☆82Updated 4 years ago
- Program dependence graph in LLVM☆34Updated 9 months ago
- Learning graph-based code representations for source-level functional similarity detection. ICSE'23☆50Updated 2 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆54Updated 4 months ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆91Updated last year
- Program Vulnerability Repair via Inductive Inference☆18Updated last year