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 11 months ago
Alternatives and similar repositories for ProgQuery
Users that are interested in ProgQuery are comparing it to the libraries listed below
Sorting:
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆28Updated 11 months ago
- ShiftLeft OverflowDB☆132Updated 7 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆75Updated last year
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆397Updated this week
- A tool to convert nodes in an Abstract Syntax Tree into vector embeddings☆76Updated 3 years ago
- Extract and combine multiple source code views using tree-sitter☆153Updated 3 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆61Updated last month
- Code Property Graph: specification, query language, and utilities☆555Updated last month
- A powerful relational representation of source code☆33Updated 2 years ago
- Scalpel: The Python Static Analysis Framework☆322Updated last year
- Towards converting multilingual source code into one language-agnostic graph representation.☆47Updated 2 years ago
- Analyse package dependency networks at the call graph level☆96Updated 2 years ago
- Set of tools to help working with "Big Code"☆42Updated 3 years ago
- GraphGen4Code: a toolkit for creating code knowledge graphs based on WALA code analysis and extraction of documentation and forum content…☆344Updated last month
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆97Updated last year
- A mutation tool for source and IR☆13Updated 7 years ago
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆37Updated 3 years ago
- An empirical study on patch correctness☆15Updated 3 years ago
- ☆153Updated 7 months ago
- Source code and data about our large scale study about Java annotaion in practice☆12Updated 2 years ago
- ACER is an AST-based Callgraph Generator Development Framework☆39Updated last year
- Probabilistic API Mining☆53Updated 8 years ago
- ☆29Updated 4 years ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆71Updated 2 years ago
- Source code understanding via Machine Learning techniques☆138Updated 3 years ago
- System Dependence Graph generation from Java source code☆19Updated 6 years ago
- Home page of project "KB"☆132Updated 9 months ago
- Mutation-guided mutation-based fuzz testing☆50Updated last year
- ☆28Updated last month
- A free, open-source Java library for automata, graphs, and transition systems☆98Updated this week