lucvoo / sparse

Related projects ⓘ

Alternatives and complementary repositories for sparse

• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆32Updated 5 months ago
• bootlin / toolchains-builder
  ☆96Updated 3 months ago
• jncronin / mkgpt
  Command line tool to generate disk images containing GPT partition tables
  ☆12Updated last year
• wd5gnr / clambda
  Sort of Lambdas for gcc
  ☆33Updated 5 years ago
• ClangBuiltLinux / continuous-integration
  Continuous integration of latest Linux kernel with daily build of Clang & LLVM tools
  ☆44Updated 3 years ago
• pkolbus / compiler-warnings
  A list of compiler warning flags for different GCC and clang versions
  ☆62Updated 2 months ago
• 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 2 years ago
• error27 / smatch
  Static Analyser for C
  ☆102Updated this week
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆139Updated 2 weeks ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆49Updated this week
• 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…
  ☆66Updated last year
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆23Updated last week
• ARMmbed / dlmalloc
  Doug Lea's malloc
  ☆32Updated 8 years ago
• oracle / dtrace-linux-kernel
  Additional kernel tracing features merged with recent Linux kernel releases. DTrace makes use of these additional features.
  ☆30Updated 2 months ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆27Updated 2 weeks ago
• radareorg / libdemangle
  A simple library focusing on demangling symbols for different programing languages
  ☆41Updated 3 years ago
• misc0110 / faint
  FAINT - FAult INjection Tester
  ☆12Updated 3 years ago
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆47Updated 2 years ago
• terminaldweller / cgrep
  grep for C/C++ source files.
  ☆25Updated 2 months ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆42Updated last month
• dspinellis / cqmetrics
  C Quality Metrics
  ☆64Updated 2 years ago
• kraj / uClibc
  uClibc mirror
  ☆52Updated 9 years ago
• ColinIanKing / pagemon
  Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.
  ☆37Updated 10 months ago
• matheustavares / gcc-callgraph-plugin
  A GCC plugin to dump call graphs for programs being compiled using LTO.
  ☆21Updated 4 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆43Updated 3 months ago
• andikleen / ftracer
  Function tracer for gcc
  ☆34Updated 7 years ago
• vitkyrka / kninja
  Ninja build file generator for the Linux kernel
  ☆54Updated 4 years ago
• Mic92 / inspector
  Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.
  ☆14Updated 8 years ago
• jhuapl-saralab / tracer
  Recursive process fork/exec tracing for Linux systems using ptrace()
  ☆21Updated 3 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆19Updated 2 months ago