GumTreeDiff / cgum

Related projects ⓘ

Alternatives and complementary repositories for cgum

• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆26Updated 5 months ago
• tracer-x / TracerX-examples
  Examples for TracerX KLEE
  ☆9Updated 4 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 4 months ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆57Updated last week
• srcML / srcSlice
  Lightweight tool for slicing
  ☆34Updated this week
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆47Updated last week
• agra-uni-bremen / metaSMT
  ☆48Updated 8 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆27Updated 3 years ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆64Updated 2 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆98Updated 4 years ago
• COMSYS / SymbolicLivenessAnalysis
  Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
  ☆14Updated 2 years ago
• coccinelle / faults-in-Linux
  Experimental bed to study Linux faults
  ☆25Updated 2 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 8 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆36Updated 10 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆42Updated 8 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆38Updated 4 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆21Updated 4 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆11Updated 6 years ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• martinjonas / Q3B
  ☆25Updated 5 months ago
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆15Updated 6 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆47Updated 5 months ago