AlexDenisov / mutation-testing-poc

Related projects: ⓘ

• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆18Updated 10 years ago
• tay10r / mini-make
  ☆12Updated this week
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆42Updated 8 years ago
• softdevteam / libkalibera
  libkalibera
  ☆17Updated 2 years ago
• tokenrove / fixie-trie
  Compact tries for fixed-width keys
  ☆26Updated 6 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• cartazio / language-c
  git mirror of language-c darcs repo at http://code.haskell.org/language-c
  ☆11Updated last year
• gmarpons / Crisp
  A Clang/LLVM add-on to enforce coding rules
  ☆33Updated 10 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆20Updated 2 years ago
• wickedchicken / llvm-c-example
  Example usage of LLVM's C bindings
  ☆36Updated 12 years ago
• google / clang-lens
  ☆20Updated 8 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆100Updated last week
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆19Updated 8 years ago
• alepez / vim-llvmcov
  The llvm-cov tool shows code coverage information for programs that are instrumented to emit profile data.
  ☆30Updated last year
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆31Updated 5 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• smowton / llpe
  ☆49Updated 6 months ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆38Updated last year
• gasche / popl2014-papers
  ☆73Updated 10 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆11Updated 6 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 8 years ago
• chrisa / ruby-dtrace
  Ruby bindings for DTrace
  ☆63Updated 11 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• andrewffff / utf8fuzz
  Fuzzer and benchmarker for UTF-8 validators
  ☆12Updated 4 years ago
• travitch / llvm-tools
  A set of tools for visualizing and inspecting LLVM bitcode modules
  ☆30Updated 9 years ago
• blitzcode / rsvp
  rsvp - Realtime Sampling Visual Profiler
  ☆25Updated 7 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 6 years ago