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 4 months ago
• wkz / kmemd
  Explore a live Linux kernel's memory using GDB
  ☆114Updated 2 years ago
• hrw / syscalls-table
  Information about Linux system calls on different architectures
  ☆151Updated 2 weeks 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 …
  ☆25Updated last week
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆201Updated 2 months ago
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆85Updated last month
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆145Updated 4 years ago
• SUSE / clang-extract
  A tool to extract code content from source files using the clang and LLVM infrastructure.
  ☆17Updated 2 months ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆76Updated 3 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆155Updated 2 years ago
• sysprogs / kgdboe
  A network interface for GDB for Linux Kernel
  ☆66Updated last year
• acmel / dwarves
  Pahole and the dwarves
  ☆210Updated last month
• soulxu / kvmsample
  minivm based on kvm
  ☆147Updated 8 months ago
• mit-ll / HAKC
  ☆35Updated 3 years ago
• euspectre / kedr
  Main repository of KEDR project
  ☆119Updated 3 years ago
• vusec / floatzone
  ☆68Updated 7 months ago
• lelegard / arm-cpusysregs
  Access Arm64 CPU system registers
  ☆80Updated last month
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• cali-library-isolation / Cali-library-isolation
  ☆16Updated 2 years ago
• junxzm1990 / ASAN--
  Source code of ASAN--
  ☆92Updated 8 months ago
• coccinelle / coccinellery
  ☆110Updated 7 months ago
• lastweek / source-glibc
  notes about glibc, ld-so and more.
  ☆38Updated 3 years ago
• mebeim / systrack
  📡🐧 Linux kernel syscall implementation tracker
  ☆207Updated 3 weeks ago
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆58Updated last week
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆114Updated 5 months ago
• antonblanchard / will-it-scale
  ☆72Updated last year
• sslab-gatech / hydra
  Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems
  ☆160Updated 2 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆102Updated 2 months ago
• ClangBuiltLinux / continuous-integration
  Continuous integration of latest Linux kernel with daily build of Clang & LLVM tools
  ☆44Updated 3 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 4 years ago