Alternatives and similar repositories for faults-in-Linux

Users that are interested in faults-in-Linux are comparing it to the libraries listed below

• coccinelle / coccinellery
  ☆114Updated last year
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 7 years ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆15Updated 5 years ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆28Updated 3 weeks ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 7 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆83Updated 11 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆66Updated 2 months ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆47Updated 8 years ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆184Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆31Updated 3 years ago
• coccinelle / herodotos
  Tracking code patterns through software versions
  ☆25Updated last year
• dspinellis / cqmetrics
  C Quality Metrics
  ☆68Updated 3 years ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆66Updated 3 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆54Updated 12 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated last month
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆78Updated last week
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 7 years ago
• microsoft / checkedc-llvm
  Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…
  ☆98Updated 2 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆211Updated 5 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆29Updated 6 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 7 years ago
• lvc / api-sanity-checker
  An automatic generator of basic unit tests for a C/C++ library
  ☆87Updated 6 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 9 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆236Updated 5 years ago
• krytarowski / picotrace
  picotrace - system call process tracer
  ☆39Updated 5 years ago
• aartamonau / cdecl
  A program that descrypts C type declarations. Implemented as an exercise for "Expert C Programming" book.
  ☆12Updated 10 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆21Updated 10 years ago