Alternatives and similar repositories for program-graphs

Users that are interested in program-graphs are comparing it to the libraries listed below

• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Updated 2 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆61Updated 2 months ago
• JetBrains-Research / psiminer
  A Tool for Mining Rich Abstract Syntax Trees from Code
  ☆61Updated 3 months ago
• hvdthong / PatchNetTool
  ☆26Updated 5 years ago
• squaresLab / ManyBugs
  ☆18Updated 6 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆81Updated last week
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆119Updated 3 months ago
• microsoft / codamosa
  ☆154Updated 8 months ago
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆38Updated 3 years ago
• Symbolk / SmartCommitCore
  The Core Algorithm of SmartCommit.
  ☆27Updated 4 years ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆102Updated this week
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆19Updated 4 years ago
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆70Updated 3 months ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated last year
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 3 years ago
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 7 years ago
• FAU-Inf2 / treedifferencing
  ☆13Updated 7 years ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 4 years ago
• SpoonLabs / coming
  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
• wala / ML
  ☆28Updated 2 weeks ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆92Updated last year
• srcML / srcML
  srcML Toolkit
  ☆150Updated this week
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆51Updated last year
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 4 years ago
• TruX-DTF / AVATAR
  AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
  ☆26Updated 4 years ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆43Updated 2 years 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…
  ☆75Updated last year
• ghaffarian / progex
  PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code
  ☆88Updated 4 years ago
• Symbolk / Code2Graph
  Towards converting multilingual source code into one language-agnostic graph representation.
  ☆47Updated 2 years ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆175Updated this week