OscarRodriguezPrieto / ProgQuery
ProgQuery is a system to extract useful syntactic and semantic information from source code programs and store it in a graph database for posterior querying.
☆17Updated 3 months ago
Alternatives and similar repositories for ProgQuery:
Users that are interested in ProgQuery are comparing it to the libraries listed below
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆24Updated 3 months ago
- ShiftLeft OverflowDB☆120Updated 9 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆39Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆68Updated 5 months ago
- RepairAgent is an autonomous LLM-based agent for software repair.☆37Updated 3 weeks ago
- A powerful relational representation of source code☆31Updated last year
- ☆26Updated last week
- A tool to convert nodes in an Abstract Syntax Tree into vector embeddings☆75Updated 3 years ago
- ACER is an AST-based Callgraph Generator Development Framework☆33Updated 10 months ago
- Doop - Framework for Java Pointer and Taint Analysis☆19Updated 6 years ago
- Towards converting multilingual source code into one language-agnostic graph representation.☆46Updated 2 years ago
- The official Python SDK for Codellm-Devkit☆90Updated this week
- An empirical study on patch correctness☆15Updated 2 years ago
- 🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)☆38Updated 3 weeks ago
- Probabilistic API Mining☆53Updated 7 years ago
- ☆13Updated 10 months ago
- Analyse package dependency networks at the call graph level☆93Updated last year
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆323Updated this week
- ☆25Updated 4 years ago
- System Dependence Graph generation from Java source code☆19Updated 5 years ago
- Mutation-guided mutation-based fuzz testing☆45Updated 9 months ago
- A mutation tool for source and IR☆13Updated 6 years ago
- ☆25Updated 3 years ago
- PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code☆85Updated 3 years ago
- ☆138Updated 5 months ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆70Updated 2 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- ☆22Updated 2 years ago
- The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.☆24Updated 3 months ago
- A Reproducible Benchmark of Recent Java Bugs☆36Updated 3 weeks ago