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
  ☆114Updated 2 weeks ago
• Navidem / k-meld
  ☆10Updated 3 years ago
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆59Updated last month
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆47Updated 5 months ago
• bpfverif / agni
  ☆22Updated 2 weeks ago
• ZHYfeng / Generate_Linux_Kernel_Bitcode
  ☆33Updated 11 months ago
• KSPP / linux
  Linux kernel source tree (Kernel Self Protection Project)
  ☆85Updated 2 months ago
• willfindlay / bpfcontain-rs
  BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.
  ☆58Updated 2 years ago
• vusec / floatzone
  ☆69Updated 9 months ago
• acmel / dwarves
  Pahole and the dwarves
  ☆214Updated 2 months ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆46Updated 3 years ago
• adelie-kaslr / source
  Adelie's source code
  ☆11Updated 3 years ago
• tsgates / die
  a paper template
  ☆54Updated 2 years ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆76Updated 3 years ago
• google / centipede
  ☆253Updated last year
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆36Updated 4 months ago
• danobi / btrfs-fuzz
  Unsupervised coverage-guided btrfs fuzzer
  ☆14Updated 4 years ago
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆27Updated 3 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆157Updated 2 years ago
• uapi-group / kernel-features
  A collection of ideas for new kernel features
  ☆53Updated 5 months ago
• 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
• amluto / virtme
  An easy way to virtualize the running system
  ☆338Updated last year
• junxzm1990 / ASAN--
  Source code of ASAN--
  ☆94Updated 9 months ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆14Updated 5 years ago
• vbpf / ebpf-verifier
  eBPF verifier based on abstract interpretation
  ☆408Updated this week
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆41Updated this week
• PSU-Security-Universe / countdown
  A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel
  ☆19Updated 5 months ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆57Updated 11 months ago
• willfindlay / bpfbox
  🐝 BPFBox 📦 Exploring process confinement in eBPF
  ☆101Updated last year
• kernel-patches / bpf
  ☆87Updated this week