Alternatives and similar repositories for faults-in-Linux

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

• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• llvm-mirror / zorg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆20Updated 5 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• coccinelle / herodotos
  Tracking code patterns through software versions
  ☆24Updated last year
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆47Updated 8 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆82Updated 11 years ago
• coccinelle / coccinellery
  ☆111Updated 11 months ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆66Updated 2 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆44Updated 8 months ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 6 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆36Updated 6 years ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• rudenoise / qemu-solo5-mirage-rpi3
  An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3
  ☆11Updated 9 years ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆14Updated 5 years ago
• dedis / Determinator
  Experimental operating system for deterministic parallel computing
  ☆38Updated 10 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆13Updated 4 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 10 years ago
• agl / nullok
  Scripts that I used to write a blog post about section 7.24.1(2) of C11
  ☆11Updated 8 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆206Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• arapov / wrap-qemukvm
  Shell script-wrapper over qemu-kvm command I use for Linux kernel checks.
  ☆24Updated 11 years ago
• randombit / rust-tls
  TLS in Rust (eventually)
  ☆21Updated 12 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆108Updated 6 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 3 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 8 years ago