Fraunhofer-AISEC / cpg
A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
☆277Updated this week
Related projects: ⓘ
- PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code☆81Updated 3 years ago
- Code Property Graph: specification, query language, and utilities☆456Updated this week
- A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries☆227Updated 3 years ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆60Updated last week
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆60Updated 2 years ago
- FUNDED is a novel learning framework for building vulnerability detection models.☆121Updated 9 months ago
- Scalpel: The Python Static Analysis Framework☆285Updated 5 months ago
- CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software☆187Updated last month
- Home page of project "KB"☆111Updated 2 weeks ago
- ☆84Updated 10 months ago
- IFDS/IDE Solver for Soot and other frameworks☆229Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆159Updated last week
- A vulnerability patch gathering tool☆40Updated 5 years ago
- A deep learning model for localizing bugs in C/C++ source code (USENIX'23)☆129Updated last year
- ☠️ Ground-truth dataset for vulnerability prediction (known research datasets and data sources included such as NVD, CVE Details and OSV)…☆80Updated last year
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆64Updated 6 months ago
- A collection of test cases in the Java language. It contains examples for 112 different CWEs.☆50Updated 3 years ago
- Introducing CFG（control flow graph） and PDG (program dependency graph) into AST (abstract syntax tree) implementation using Java Paser an…☆25Updated 5 years ago
- Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks☆189Updated 8 months ago
- Joana - Information Flow Control for Java☆91Updated 2 years ago
- ☆53Updated 9 months ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆86Updated this week
- ☆75Updated 3 years ago
- Creating Data Flow Graphs from java input classes☆42Updated 3 months ago
- A Transformer-based Line-Level Vulnerability Prediction☆100Updated last month
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆118Updated last month
- ☆185Updated last month
- ☆41Updated 5 years ago
- Extract and combine multiple source code views using tree-sitter☆102Updated 2 months ago
- HiddenCPG: Large-Scale Vulnerable Clone Detection Using Subgraph Isomorphism of Code Property Graphs☆38Updated last year