Alternatives and similar repositories for ProgQuery

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

• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆42Updated last year
• joernio / standalone-ext
  Minimal example of a standalone program that depends on Joern
  ☆10Updated 3 months ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆33Updated 11 months ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆70Updated 6 months ago
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆25Updated 4 months ago
• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆122Updated 2 weeks ago
• thepurpleowl / codequeries-benchmark
  Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024
  ☆12Updated last year
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆45Updated 10 months ago
• codellm-devkit / python-sdk
  The official Python SDK for Codellm-Devkit
  ☆97Updated this week
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆140Updated 3 weeks ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆34Updated 3 weeks ago
• wala / ML
  ☆26Updated this week
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆70Updated 6 months ago
• microsoft / codamosa
  ☆138Updated last week
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆31Updated last year
• sola-st / RepairAgent
  RepairAgent is an autonomous LLM-based agent for software repair.
  ☆45Updated last week
• martineberlein / avicenna
  Debugging Prototype Avicenna
  ☆10Updated 3 months ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• clouditor / cloud-property-graph
  The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.
  ☆25Updated 4 months ago
• bdqnghi / ast-node-encoding
  A tool to convert nodes in an Abstract Syntax Tree into vector embeddings
  ☆75Updated 3 years ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• joernio / cpgqls-client-python
  Python library for CPGQL server
  ☆29Updated last year
• BugSwarm / bugswarm
  ☆33Updated 2 weeks ago
• codeontology / parser
  ☆26Updated 3 years ago
• Fraunhofer-AISEC / cpg
  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
  ☆332Updated this week
• utopia-group / TypeT5
  Seq2seq Type Inference using Static Analysis and CodeT5
  ☆31Updated last year
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆70Updated 2 years ago
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆38Updated 3 years ago
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆24Updated 2 years ago