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 2 months ago
Alternatives and similar repositories for ProgQuery:
Users that are interested in ProgQuery are comparing it to the libraries listed below
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated last year
- ShiftLeft OverflowDB☆119Updated 8 months ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆23Updated 2 months ago
- ACER is an AST-based Callgraph Generator Development Framework☆32Updated 9 months ago
- Mutation-guided mutation-based fuzz testing☆45Updated 8 months ago
- Extract and combine multiple source code views using tree-sitter☆126Updated 3 months ago
- A powerful relational representation of source code☆31Updated last year
- 🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)☆38Updated 2 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated 11 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆46Updated 3 years ago
- CodeBERT based mutation testing tool.☆12Updated 9 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆69Updated 4 months ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated 6 months ago
- ☆32Updated 3 weeks ago
- ☆27Updated 2 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- ☆19Updated 4 months ago
- A tool to convert nodes in an Abstract Syntax Tree into vector embeddings☆75Updated 2 years ago
- ☆132Updated 4 months ago
- ☆21Updated 2 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year
- ☆26Updated this week
- An empirical study on patch correctness☆15Updated 2 years ago
- Python library for CPGQL server☆27Updated 9 months ago
- Analyse package dependency networks at the call graph level☆93Updated last year
- RepairAgent is an autonomous LLM-based agent for software repair.☆34Updated last month
- Fast and robust AST parsing of any language☆37Updated 2 months ago
- The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.☆24Updated 2 months ago
- CoREBench: Errors in Find, Grep, Make☆14Updated 9 years ago
- ☆12Updated 9 months ago