GumTreeDiff / cgum

Related projects ⓘ

Alternatives and complementary repositories for cgum

• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆57Updated 3 weeks ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• s-falke / llvm2kittel
  llvm2KITTeL
  ☆19Updated 7 years ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆34Updated this week
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 4 months ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆68Updated 7 years ago
• agra-uni-bremen / metaSMT
  ☆48Updated 8 years ago
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆98Updated 4 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆47Updated 3 weeks 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
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆28Updated 5 years ago
• caterinaurban / Lyra
  ☆30Updated 3 months ago
• tracer-x / TracerX-examples
  Examples for TracerX KLEE
  ☆9Updated 4 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 8 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆13Updated 9 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated 3 weeks ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆53Updated 2 weeks ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆97Updated 2 years ago
• Amocy-Wang / ProbDD
  Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…
  ☆15Updated 3 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆65Updated 5 years ago
• carolemieux / perffuzz
  PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
  ☆132Updated 4 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆27Updated 5 months ago
• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆11Updated 5 years ago
• bblfsh / libuast
  ☆20Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago