Alternatives and similar repositories for gumtree

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

• PRL-PRG / dejavu-artifact
  Artifact for the OOPSLA 17 DejaVu Paper
  ☆10Updated 8 years ago
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆24Updated 4 years ago
• qixin5 / DiffTGen
  ☆10Updated 5 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆117Updated 2 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• secure-software-engineering / ideal
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Updated 7 years ago
• mast-group / tassal
  Tree-based Autofolding Software Summarization Algorithm
  ☆43Updated 9 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆91Updated last year
• program-repair / RepairThemAll_experiment
  ☆15Updated 2 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 7 years ago
• mast-group / api-mining
  Probabilistic API Mining
  ☆53Updated 7 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• Mondego / Sourcerer
  Tools, services and applications for source code analysis and search
  ☆62Updated 10 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆32Updated 6 years ago
• ConfigV / ConfigV
  A tool for automatically verifying configuration files
  ☆20Updated 2 years ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 10 months ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• bdqnghi / hierarchical-programming-language-mapping
  [ICSE'18] Hierarchical Learning of Cross-Language Mappings through Distributed Vector Representations for Code
  ☆22Updated 7 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆222Updated 2 years ago
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆27Updated 6 years ago
• ProgramRepair / SearchRepair
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆27Updated 6 years ago
• plasma-umass / DoubleTake
  Evidence-based dynamic analysis: a fast checker for memory errors.
  ☆21Updated 8 years ago
• squaresLab / footpatch
  ☆15Updated 6 years ago
• tech-srl / PigeonJS
  Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"
  ☆24Updated 4 years ago
• martinschaef / bixie
  Inconsistent Code Detection for Java
  ☆11Updated 5 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 12 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.
  ☆101Updated last year
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆99Updated 4 years ago