Alternatives and similar repositories for ProgQuery:

Users that are interested in ProgQuery are comparing it to the libraries listed below

• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆68Updated 2 months ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆30Updated last year
• codeontology / parser
  ☆26Updated 3 years ago
• gitbugactions / gitbug-java
  A Reproducible Benchmark of Recent Java Bugs
  ☆32Updated this week
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆38Updated 11 months ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆70Updated last year
• ASSERT-KTH / cigar
  Efficient APR with LLMs http://arxiv.org/pdf/2402.06598
  ☆14Updated 8 months ago
• kensens / FrAngel
  A Java program synthesizer.
  ☆21Updated 5 years ago
• victorjmarin / sourcedg
  System Dependence Graph generation from Java source code
  ☆18Updated 5 years ago
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆64Updated last year
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆35Updated 2 years ago
• jodavimehran / code-tracker
  ☆19Updated last month
• ASSERT-KTH / repairllama
  RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair http://arxiv.org/pdf/2312.15698
  ☆32Updated last week
• wala / ML
  ☆26Updated 2 weeks ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• YoshikiHigo / TinyPDG
  A library for building intraprocedural PDGs for Java programs
  ☆33Updated last year
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆122Updated 2 months ago
• TruX-DTF / AVATAR
  AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
  ☆26Updated 3 years ago
• micheletufano / src2abs
  src2abs is a tool that abstracts Java source code
  ☆35Updated 5 years ago
• program-repair / RepairThemAll_experiment
  ☆14Updated last year
• rdegiovanni / mBERT
  mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.
  ☆12Updated last week
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆33Updated 11 months ago
• electricalwind / data7
  A vulnerability patch gathering tool
  ☆41Updated 6 years ago
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆74Updated 5 months ago
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆29Updated 2 weeks ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆76Updated 3 months ago
• PPPI / Flexeme
  This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…
  ☆11Updated last year
• Symbolk / Code2Graph
  Towards converting multilingual source code into one language-agnostic graph representation.
  ☆44Updated last year