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
  ☆108Updated last week
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆47Updated 4 months ago
• bpfverif / agni
  ☆21Updated 2 weeks ago
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆85Updated last month
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆58Updated last week
• ZHYfeng / Generate_Linux_Kernel_Bitcode
  ☆32Updated 10 months ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆14Updated 5 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 3 years ago
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆76Updated 3 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 …
  ☆25Updated last week
• umnsec / typm
  ☆33Updated last year
• junxzm1990 / ASAN--
  Source code of ASAN--
  ☆92Updated 8 months ago
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆35Updated 3 months ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆67Updated 3 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• mit-ll / HAKC
  ☆35Updated 3 years ago
• intel / tdx
  ☆85Updated this week
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆56Updated 10 months ago
• adelie-kaslr / source
  Adelie's source code
  ☆11Updated 3 years ago
• ratel-enclave / ratel
  Ratel - a new framework for instruction-level interposition on enclaved applications
  ☆23Updated 2 years ago
• PSU-Security-Universe / countdown
  A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel
  ☆17Updated 4 months ago
• rssys / shard
  ☆12Updated 3 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆36Updated 4 months ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆155Updated 2 years ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆336Updated last year
• jtcriswell / llvm-dsa
  LLVM trunk with poolalloc trunk modified to compile only DSA
  ☆11Updated 9 years ago
• vusec / kasper
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
  ☆57Updated 9 months ago