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
  ☆113Updated last year
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• nmathewson / libottery
  A fast secure userspace pseudorandom number generator
  ☆83Updated 11 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆47Updated 8 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 6 years ago
• coccinelle / herodotos
  Tracking code patterns through software versions
  ☆25Updated last year
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 3 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 12 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆14Updated 5 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆209Updated 5 years ago
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 6 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…
  ☆231Updated 4 years 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…
  ☆70Updated 8 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆62Updated 3 weeks ago
• bnoordhuis / strace
  http://sourceforge.net/projects/strace/
  ☆25Updated 10 years ago
• lorenzo-stoakes / kernel-scripts
  Handy kernel development scripts.
  ☆50Updated 2 months ago
• klee / klee-web
  KLEE in the browser
  ☆52Updated last month
• facebookresearch / py2bpf
  A python to bpf (Berkeley Packet Filter bytecode) converter
  ☆178Updated 6 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…
  ☆97Updated 2 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 3 years ago
• alexcourouble / email2git
  Matching Commits with Their Mailing List Discussions
  ☆39Updated 7 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 12 years ago
• kernelci / kernelci-backend
  Upstream Linux Kernel Validation Project API
  ☆38Updated last year
• lttng / lttng-modules
  This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux k…
  ☆97Updated 2 weeks ago
• oracle / ktf
  Kernel Test Framework - a unit test framework for the Linux kernel
  ☆93Updated 3 years ago
• tmetsch / python-dtrace
  A Python DTrace consumer using libdtrace - Now Python can be used as DTrace Provider and Consumer...
  ☆72Updated 3 years ago
• google / navc
  C code indexer using language semantic from clang
  ☆60Updated 6 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago