Alternatives and similar repositories for mutation-testing-poc

Users that are interested in mutation-testing-poc are comparing it to the libraries listed below

• tjchambers / mutant-musings
  A journey in mutation testing
  ☆13Updated 9 years ago
• alepez / vim-llvmcov
  The llvm-cov tool shows code coverage information for programs that are instrumented to emit profile data.
  ☆30Updated 2 years ago
• softdevteam / libkalibera
  libkalibera
  ☆16Updated 3 years ago
• chrisa / ruby-dtrace
  Ruby bindings for DTrace
  ☆63Updated 12 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 3 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 7 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated 2 years ago
• yuejia / Milu
  A higher order mutation testing tool
  ☆58Updated 4 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 10 years ago
• ddunbar / zcov
  Code coverage reporting tool
  ☆51Updated 8 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆43Updated 9 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆184Updated 6 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 4 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆155Updated 2 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆33Updated 6 years ago
• COMSYS / SymbolicLivenessAnalysis
  Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
  ☆13Updated 3 years ago
• Stiivi / ParserCombinator
  Simple ParserCombinator framework for Swift
  ☆13Updated 7 years ago
• plum-umd / rtc
  ☆84Updated 9 years ago
• struct / Nerve
  Nerve is a cross platform hit tracer built on Ragweed
  ☆46Updated 13 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆85Updated 3 years ago
• YahooArchive / rtrace
  Rtrace is an x86/x86_64 native code debugger written in Ruby with zero dependencies
  ☆137Updated 9 years ago
• chapuni / llvm-project-legacy
  Chapuni's branches for llvm-project.
  ☆32Updated 10 years ago
• samsk / log-malloc2
  Memory allocation tracking library
  ☆61Updated 5 years ago
• smowton / llpe
  ☆54Updated last year
• filletofish / compiler-touch
  Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.
  ☆26Updated 8 years ago