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 last month
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆69Updated 2 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆60Updated last month
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆37Updated 3 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆81Updated 5 months ago
• JetBrains-Research / psiminer
  A Tool for Mining Rich Abstract Syntax Trees from Code
  ☆60Updated 2 months ago
• microsoft / codamosa
  ☆153Updated 7 months ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆173Updated this week
• squaresLab / ManyBugs
  ☆18Updated 6 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
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 7 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 last year
• wala / ML
  ☆28Updated 3 weeks ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆322Updated last year
• ghaffarian / progex
  PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code
  ☆87Updated 4 years ago
• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆50Updated last year
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 4 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆117Updated 2 months ago
• stg-tud / MUBench
  ☆59Updated 2 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
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆86Updated last year
• gitbugactions / gitbug-java
  A Reproducible Benchmark of Recent Java Bugs
  ☆44Updated 4 months ago
• xgdsmileboy / GenPat
  This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.
  ☆29Updated 3 years ago
• ASSERT-KTH / sequencer
  Sequence-to-Sequence Learning for End-to-End Program Repair (IEEE TSE 2019). Open-science repo. http://arxiv.org/pdf/1901.01808
  ☆86Updated 2 years ago
• TruX-DTF / AVATAR
  AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
  ☆26Updated 4 years ago
• jkoppel / QuixBugs
  A multi-lingual program repair benchmark set based on the Quixey Challenge
  ☆131Updated 3 years ago
• sola-st / SemSeed
  ☆24Updated 4 years ago
• Symbolk / Code2Graph
  Towards converting multilingual source code into one language-agnostic graph representation.
  ☆47Updated 2 years ago
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆211Updated 9 months ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 11 months ago