Alternatives and similar repositories for clang-extract

Users that are interested in clang-extract are comparing it to the libraries listed below

• error27 / smatch
  Static Analyser for C
  ☆124Updated last week
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆60Updated 3 weeks ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆346Updated last year
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆87Updated 5 months ago
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆224Updated this week
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆53Updated 2 months ago
• Navidem / k-meld
  ☆10Updated 3 years ago
• vbpf / prevail
  eBPF verifier based on abstract interpretation
  ☆421Updated this week
• adelie-kaslr / source
  Adelie's source code
  ☆12Updated 3 years ago
• acmel / dwarves
  Pahole and the dwarves
  ☆226Updated 2 weeks ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆60Updated 2 months ago
• cla7aye15I4nd / CAMP
  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…
  ☆42Updated 11 months ago
• euspectre / kedr
  Main repository of KEDR project
  ☆119Updated last month
• arighi / virtme-ng
  Quickly build and run kernels inside a virtualized snapshot of your live system
  ☆590Updated last week
• SRI-CSL / gllvm
  Whole Program LLVM: wllvm ported to go
  ☆320Updated last year
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆671Updated 2 weeks ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆77Updated 3 years ago
• google / centipede
  ☆252Updated 2 years ago
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• junxzm1990 / ASAN--
  Source code of ASAN--
  ☆95Updated last year
• SamAinsworth / MarkUs-sp2020
  Prototype allocator for the prevention of use-after-free attacks, as described in the S&P 2020 Paper - "MarkUs: Drop-in use-after-free pr…
  ☆14Updated 3 years ago
• antonblanchard / will-it-scale
  ☆75Updated last year
• ZHYfeng / Generate_Linux_Kernel_Bitcode
  ☆36Updated 3 weeks ago
• bpfverif / agni
  ☆35Updated last month
• lfd / PaStA
  The Patch Stack Analysis
  ☆34Updated 2 years ago
• project-dune / dune
  ☆202Updated 3 years ago
• coccinelle / coccinellery
  ☆113Updated last year
• rostedt / trace-cmd
  utilities for Linux ftrace
  ☆293Updated last week
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆29Updated 2 years ago
• vusec / kasper
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
  ☆58Updated last year