Alternatives and similar repositories for program-graphs

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

• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 4 years ago
• hvdthong / PatchNetTool
  ☆26Updated 4 years ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆35Updated 4 months ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆91Updated last year
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 6 years ago
• ghaffarian / progex
  PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code
  ☆85Updated 4 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆46Updated last month
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆67Updated 2 months ago
• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆47Updated last year
• stg-tud / MUBench
  ☆58Updated last year
• wala / ML
  ☆27Updated this week
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆37Updated 3 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆317Updated last year
• daanvdh / JavaDataFlow
  Creating Data Flow Graphs from java input classes
  ☆50Updated last year
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 8 months ago
• microsoft / codamosa
  ☆145Updated 4 months ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆115Updated 2 weeks ago
• Symbolk / Code2Graph
  Towards converting multilingual source code into one language-agnostic graph representation.
  ☆47Updated 2 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆48Updated 4 years ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆169Updated this week
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆42Updated last year
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆101Updated 11 months ago
• wala / WALA-start
  Basic Gradle configuration and example drivers to get started with WALA
  ☆29Updated 9 months ago
• JetBrains-Research / psiminer
  A Tool for Mining Rich Abstract Syntax Trees from Code
  ☆58Updated 2 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated 2 months ago
• prapr / prapr
  Practical Program Repair via Bytecode Mutation
  ☆64Updated 3 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…
  ☆99Updated 10 months ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 4 years ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆55Updated 7 years ago