OscarRodriguezPrieto / ProgQueryLinks
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 5 months ago
Alternatives and similar repositories for ProgQuery
Users that are interested in ProgQuery are comparing it to the libraries listed below
Sorting:
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆42Updated last year
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 7 months ago
- ☆26Updated last week
- Minimal example of a standalone program that depends on Joern☆10Updated 4 months ago
- ACER is an AST-based Callgraph Generator Development Framework☆35Updated last year
- ☆25Updated 4 years ago
- A powerful relational representation of source code☆32Updated last year
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆25Updated 5 months ago
- System Dependence Graph generation from Java source code☆19Updated 6 years ago
- 🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)☆40Updated 2 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated last month
- Debugging Prototype Avicenna☆10Updated 4 months ago
- DBGBench Website:☆19Updated 4 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- ☆16Updated 4 months ago
- Mutation-guided mutation-based fuzz testing☆46Updated 11 months ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 4 years ago
- The official Python SDK for Codellm-Devkit☆104Updated this week
- Explainable AI for Software Engineering: A Hands-on Guide on How to Make Software Analytics More Practical, Explainable, and Actionable (…☆25Updated 3 years ago
- Extract and combine multiple source code views using tree-sitter☆140Updated last month
- Towards converting multilingual source code into one language-agnostic graph representation.☆46Updated 2 years ago
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆339Updated last week
- ShiftLeft OverflowDB☆124Updated last month
- ☆26Updated 3 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Updated 2 years ago
- ☆13Updated last year
- A Reproducible Benchmark of Recent Java Bugs☆38Updated last month
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆125Updated 2 weeks ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆41Updated last year
- Fast and robust AST parsing of any language☆43Updated 5 months ago