Alternatives and similar repositories for kmsan

Users that are interested in kmsan are comparing it to the libraries listed below

• google / kernel-sanitizers
  Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel
  ☆458Updated last month
• google / kafel
  A language and library for specifying syscall filtering policies.
  ☆319Updated 10 months ago
• andikleen / simple-pt
  Simple Intel CPU processor tracing on Linux
  ☆349Updated 2 years ago
• google / centipede
  ☆253Updated 2 years ago
• kernelslacker / trinity
  Linux system call fuzzer
  ☆891Updated 8 months ago
• iovisor / bpf-fuzzer
  fuzzing framework based on libfuzzer and clang sanitizer
  ☆167Updated 6 years ago
• intel / libipt
  libipt - an Intel(R) Processor Trace decoder library
  ☆681Updated 3 weeks ago
• pmem / vltrace
  Tool tracing syscalls in a fast way using eBPF linux kernel feature
  ☆98Updated 2 years ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆343Updated last year
• google / ktsan
  Kernel Thread Sanitizer, a fast data race detector for the Linux kernel
  ☆571Updated 3 years ago
• acmel / dwarves
  Pahole and the dwarves
  ☆222Updated last month
• rostedt / trace-cmd
  utilities for Linux ftrace
  ☆287Updated last month
• elfmaster / ftrace
  POSIX Function tracing
  ☆332Updated 7 years ago
• RUB-SysSec / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆580Updated 6 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆259Updated this week
• google / libprotobuf-mutator
  Library for structured fuzzing with protobuffers
  ☆617Updated last month
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆105Updated 6 years ago
• emptymonkey / ptrace_do
  A ptrace library for easy syscall injection in Linux.
  ☆177Updated 10 months ago
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆146Updated 4 years ago
• dyninst / dyninst
  DyninstAPI: Tools for binary instrumentation, analysis, and modification.
  ☆782Updated this week
• wkz / ply
  Light-weight Dynamic Tracer for Linux
  ☆414Updated 3 months ago
• elfmaster / kdress
  Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore
  ☆131Updated 7 months ago
• intel / kernel-fuzzer-for-xen-project
  Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL
  ☆473Updated 10 months ago
• david942j / kvm-kernel-example
  Examples for: Learning KVM - implement your own kernel
  ☆372Updated last year
• vbpf / prevail
  eBPF verifier based on abstract interpretation
  ☆415Updated last week
• oracle / kernel-fuzzing
  Fuzzers for the Linux kernel
  ☆116Updated 8 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆158Updated 2 years ago
• project-dune / dune
  ☆199Updated 3 years ago
• coccinelle / coccinellery
  ☆109Updated 10 months ago
• google / silifuzz
  ☆405Updated this week