Alternatives and similar repositories for smatch:

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

• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆47Updated 5 months ago
• wkz / kmemd
  Explore a live Linux kernel's memory using GDB
  ☆114Updated 2 years ago
• kvm-unit-tests / kvm-unit-tests
  This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …
  ☆26Updated last week
• acmel / dwarves
  Pahole and the dwarves
  ☆214Updated 2 months ago
• hrw / syscalls-table
  Information about Linux system calls on different architectures
  ☆156Updated last week
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆209Updated last week
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆85Updated 2 months ago
• mpdn / unthread
  A deterministic, fuzzable pthread implementation
  ☆37Updated last year
• soulxu / kvmsample
  minivm based on kvm
  ☆148Updated 9 months ago
• sysprogs / kgdboe
  A network interface for GDB for Linux Kernel
  ☆66Updated last year
• project-dune / dune
  ☆199Updated 2 years ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆338Updated last year
• kernelci / kernelci-core
  Core KernelCI tools
  ☆113Updated this week
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• vusec / floatzone
  ☆69Updated 8 months ago
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆24Updated 2 months ago
• horms / kexec-tools
  Kexec Tools: Userspace portion of Kexec
  ☆68Updated 3 months ago
• vusec / kasper
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
  ☆57Updated 10 months ago
• mebeim / systrack
  📡🐧 Linux kernel syscall implementation tracker
  ☆209Updated last week
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• ptesarik / libkdumpfile
  Kernel coredump file access
  ☆26Updated 3 months ago
• lastweek / source-glibc
  notes about glibc, ld-so and more.
  ☆40Updated 4 years ago
• crash-python / crash-python
  ☆69Updated last year
• SUSE / clang-extract
  A tool to extract code content from source files using the clang and LLVM infrastructure.
  ☆19Updated 3 months ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆53Updated 2 weeks ago
• antonblanchard / will-it-scale
  ☆72Updated last year
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆59Updated last month
• ahoeller / fies
  QEMU-based fault injection
  ☆27Updated 3 years ago
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆49Updated 3 years ago