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
  ☆148Updated 3 weeks ago
• SUSE / libpulp
  libpulp enables live patching in user space applications.
  ☆62Updated 2 months ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆65Updated this week
• bpfverif / agni
  ☆45Updated 3 weeks ago
• acmel / dwarves
  Pahole and the dwarves
  ☆247Updated last month
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆78Updated 4 years ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆351Updated 2 years ago
• coccinelle / coccinelle
  Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
  ☆701Updated 3 weeks ago
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆143Updated 5 years ago
• SRI-CSL / gllvm
  Whole Program LLVM: wllvm ported to go
  ☆329Updated last year
• xiw / stack
  A static checker for identifying unstable code.
  ☆363Updated 10 years ago
• euspectre / kedr
  Main repository of KEDR project
  ☆120Updated 6 months ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆188Updated 3 years ago
• andikleen / simple-pt
  Simple Intel CPU processor tracing on Linux
  ☆351Updated 2 years ago
• vbpf / prevail
  eBPF verifier based on abstract interpretation
  ☆436Updated last week
• a13xp0p0v / kernel-build-containers
  Containers for building the Linux kernel or other software with many different compilers
  ☆254Updated 2 weeks ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆15Updated 6 years ago
• google / centipede
  ☆253Updated 2 years ago
• jiezhoucs / must-read
  Lists of must-read papers (mainly security papers)
  ☆32Updated last year
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆62Updated 7 months ago
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆130Updated 4 months ago
• antonblanchard / will-it-scale
  ☆82Updated last year
• S2E / s2e
  S2E: A platform for multi-path program analysis with selective symbolic execution.
  ☆505Updated this week
• hrw / syscalls-table
  Information about Linux system calls on different architectures
  ☆169Updated this week
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 3 years ago
• Navidem / k-meld
  ☆10Updated 3 years ago
• vusec / kasper
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
  ☆58Updated last year
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• intel / libipt
  libipt - an Intel(R) Processor Trace decoder library
  ☆702Updated last month
• mit-ll / HAKC
  ☆38Updated 3 years ago