jrfaller / gumtree

Related projects: ⓘ

• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated 11 months ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆11Updated 6 years ago
• ProgramRepair / SearchRepair
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆25Updated 5 years ago
• mast-group / tassal
  Tree-based Autofolding Software Summarization Algorithm
  ☆42Updated 8 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆96Updated 3 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆12Updated 3 years ago
• plasma-umass / DoubleTake
  Evidence-based dynamic analysis: a fast checker for memory errors.
  ☆21Updated 7 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 2 months ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆56Updated 3 weeks ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆89Updated 3 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 10 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆18Updated 3 years ago
• PRL-PRG / dejavu-artifact
  Artifact for the OOPSLA 17 DejaVu Paper
  ☆10Updated 7 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆102Updated 6 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• s-falke / llvm2kittel
  llvm2KITTeL
  ☆19Updated 7 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 8 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆26Updated 2 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆23Updated 3 months ago
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆26Updated 5 years ago
• diffoperator / Sypy
  A symbolic execution engine for Python
  ☆45Updated 11 years ago
• tech-srl / prime
  ☆14Updated 8 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆44Updated 9 months ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 4 years ago
• bblfsh / libuast
  ☆20Updated 4 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 11 years ago