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.
  ☆56Updated 4 months ago
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆227Updated 2 weeks ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆78Updated 4 years ago
• hrw / syscalls-table
  Information about Linux system calls on different architectures
  ☆168Updated 2 weeks ago
• mpdn / unthread
  A deterministic, fuzzable pthread implementation
  ☆42Updated 2 years ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆186Updated 3 years ago
• junxzm1990 / ASAN--
  Source code of ASAN--
  ☆99Updated last year
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• deater / perf_event_tests
  Test suite for the Linux perf_event subsystem
  ☆118Updated last month
• sslab-gatech / hydra
  Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems
  ☆169Updated 3 years ago
• david942j / kvm-kernel-example
  Examples for: Learning KVM - implement your own kernel
  ☆379Updated 2 years ago
• google / kernel-sanitizers
  Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel
  ☆463Updated 5 months ago
• vusec / kasper
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
  ☆58Updated last year
• soulxu / kvmsample
  minivm based on kvm
  ☆153Updated last year
• amluto / virtme
  An easy way to virtualize the running system
  ☆350Updated last year
• wkz / kmemd
  Explore a live Linux kernel's memory using GDB
  ☆117Updated 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 …
  ☆28Updated last week
• ptesarik / libkdumpfile
  Kernel coredump file access
  ☆31Updated last month
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆61Updated 4 months ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆30Updated 2 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆105Updated 8 months ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 3 years ago
• rofirrim / gcc-plugins
  Experiments with the gcc plugin mechanism
  ☆112Updated last year
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆52Updated 3 years ago
• SRI-CSL / gllvm
  Whole Program LLVM: wllvm ported to go
  ☆326Updated last year
• mit-ll / HAKC
  ☆35Updated 3 years ago
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆149Updated 4 years ago
• andikleen / simple-pt
  Simple Intel CPU processor tracing on Linux
  ☆349Updated 2 years ago
• euspectre / kedr
  Main repository of KEDR project
  ☆119Updated 3 months ago