Alternatives and similar repositories for sparse

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

• bootlin / toolchains-builder
  ☆116Updated 2 months ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆174Updated 2 weeks ago
• terminaldweller / cgrep
  grep for C/C++ source files.
  ☆28Updated 2 months ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆186Updated 3 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆54Updated 8 months ago
• gentoo / pax-utils
  [MIRROR] ELF related utils for ELF 32/64 binaries that can check files for security relevant properties
  ☆105Updated 3 months ago
• ClangBuiltLinux / continuous-integration
  Continuous integration of latest Linux kernel with daily build of Clang & LLVM tools
  ☆46Updated 4 years ago
• balau / arm-sandbox
  Personal sandbox to make quick tests and how-tos for ARM development
  ☆39Updated 5 years ago
• pkolbus / compiler-warnings
  A list of compiler warning flags for different GCC and clang versions
  ☆64Updated last month
• elftoolchain / elftoolchain
  The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…
  ☆71Updated 2 years ago
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated last year
• SRI-CSL / musllvm
  The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.
  ☆23Updated 6 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆104Updated 10 months ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated 6 months ago
• coccinelle / coccinellery
  ☆113Updated last year
• dspinellis / cscout
  C code refactoring browser
  ☆212Updated this week
• airbus-seclab / c-compiler-security
  Security-related flags and options for C compilers
  ☆197Updated 2 years ago
• KernelTestFramework / ktf
  Kernel Test Framework
  ☆149Updated 8 months ago
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆56Updated 2 weeks ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆122Updated last year
• fanf2 / unifdef
  selectively remove C preprocessor conditionals
  ☆184Updated last year
• novt-vtable-less-compiler / novt-llvm
  NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.
  ☆50Updated 3 years ago
• checkedc / checkedc-llvm-project
  This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…
  ☆17Updated last year
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆123Updated 5 years ago
• error27 / smatch
  Static Analyser for C
  ☆135Updated 3 months ago
• hrw / syscalls-table
  Information about Linux system calls on different architectures
  ☆168Updated 3 weeks ago
• mpdn / unthread
  A deterministic, fuzzable pthread implementation
  ☆42Updated 2 years ago
• oracle / dtrace-linux-kernel
  Additional kernel tracing features merged with recent Linux kernel releases. DTrace makes use of these additional features.
  ☆32Updated last year
• ColinIanKing / pagemon
  Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.
  ☆46Updated last month
• vegard / prog-fuzz
  Compiler/source code fuzzing tool using AFL instrumentation
  ☆126Updated 7 years ago