Alternatives and similar repositories for clang-analyzer-guide

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

• mpdelbuono / wildcop

  View on GitHub
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆34Jul 4, 2017Updated 8 years ago
• Ericsson / codechecker

  View on GitHub
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,532Updated this week
• SVF-tools / SVF

  View on GitHub
  Static Value-Flow Analysis Framework for Source Code
  ☆1,646Feb 6, 2026Updated last week
• secure-software-engineering / phasar

  View on GitHub
  A LLVM-based static analysis framework.
  ☆1,029Updated this week
• FlyGoat / cpu_gs132

  View on GitHub
  Verilog code of Loongson's GS132 core
  ☆12Dec 19, 2019Updated 6 years ago
• Ericsson / clang

  View on GitHub
  Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)
  ☆15Nov 27, 2019Updated 6 years ago
• Xazax-hun / csa-testbench

  View on GitHub
  Toolset to do differential testing on the Clang Static Analyzer
  ☆22Nov 21, 2022Updated 3 years ago
• mchalupa / dg

  View on GitHub
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆524May 21, 2025Updated 8 months ago
• GoSSIP-SJTU / TripleDoggy

  View on GitHub
  基于clang static analyzer的源码漏洞检测插件
  ☆199May 8, 2019Updated 6 years ago
• ercoppa / symbolic-execution-tutorial

  View on GitHub
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135May 14, 2021Updated 4 years ago
• thepurpleowl / codequeries-benchmark

  View on GitHub
  Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024
  ☆13Apr 21, 2024Updated last year
• awruef / find-heartbleed

  View on GitHub
  clang checker to find heartbleed
  ☆86Apr 28, 2014Updated 11 years ago
• franchiotta / taintchecker

  View on GitHub
  Clang static checker that carries out tainting analysis.
  ☆88Mar 25, 2018Updated 7 years ago
• banach-space / clang-tutor

  View on GitHub
  A collection of out-of-tree Clang plugins for teaching and learning
  ☆758Jan 14, 2026Updated last month
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt

  View on GitHub
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆26Mar 15, 2020Updated 5 years ago
• SiliconSemantics / firrtlator

  View on GitHub
  firrtlator is a FIRRTL C++ library
  ☆23Dec 15, 2016Updated 9 years ago
• andrewt0301 / static-analysis-course

  View on GitHub
  Materials for the "Principles of Static Program Analysis" course
  ☆11Jul 17, 2025Updated 6 months ago
• darchons / android-gdbutils

  View on GitHub
  GDB Python scripts targetting Fennec development
  ☆22Jan 19, 2018Updated 8 years ago
• secure-software-engineering / Boomerang

  View on GitHub
  Demand-Driven Pointer Analysis
  ☆14Feb 9, 2026Updated last week
• seahorn / clam

  View on GitHub
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆287Apr 21, 2024Updated last year
• google / llvm-premerge-checks

  View on GitHub
  CI system for premerge-testing in LLVM project
  ☆43Jun 5, 2025Updated 8 months ago
• deater / deterministic

  View on GitHub
  code for examining determinism of performance counters
  ☆21Mar 18, 2021Updated 4 years ago
• trailofbits / llvm-sanitizer-tutorial

  View on GitHub
  An LLVM sanitizer tutorial
  ☆204Jun 1, 2022Updated 3 years ago
• gergo- / ldrgen

  View on GitHub
  Liveness-driven random C code generator
  ☆42Jul 30, 2025Updated 6 months ago
• brycelelbach / 2016_berkeley_cpp_summit_presentations

  View on GitHub
  Presentation materials for the 2016 Berkeley C++ Summit
  ☆14Oct 20, 2016Updated 9 years ago
• rutgers-apl / alive-nj

  View on GitHub
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆33Jul 6, 2019Updated 6 years ago
• decomp / doc

  View on GitHub
  Design documents related to the decompilation pipeline.
  ☆30Aug 25, 2025Updated 5 months ago
• CROSSINGTUD / SPDS

  View on GitHub
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆41Jul 8, 2021Updated 4 years ago
• tudasc / TypeART

  View on GitHub
  LLVM-based type and memory allocation tracking sanitizer
  ☆56Updated this week
• seahorn / sea-dsa

  View on GitHub
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆168Dec 4, 2025Updated 2 months ago
• davidmalcolm / gcc-newbies-guide

  View on GitHub
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆126Oct 3, 2024Updated last year
• halo-project / halo

  View on GitHub
  😇 Wholly Adaptive LLVM Optimizer
  ☆28Aug 29, 2020Updated 5 years ago
• SoftSec-KAIST / Eclipser

  View on GitHub
  Grey-box Concolic Testing on Binary Code (ICSE '19)
  ☆156Oct 4, 2021Updated 4 years ago
• wapiflapi / gxf

  View on GitHub
  Gdb Extension Framework is a bunch of python code around the gdb api.
  ☆50Jun 12, 2021Updated 4 years ago
• seahorn / crab

  View on GitHub
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆250Oct 23, 2024Updated last year
• RUB-SysSec / gadget_synthesis

  View on GitHub
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆59Dec 7, 2021Updated 4 years ago
• bdcht / ccrawl

  View on GitHub
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆103Jul 15, 2025Updated 7 months ago
• banach-space / llvm-tutor

  View on GitHub
  A collection of out-of-tree LLVM passes for teaching and learning
  ☆3,355Jan 1, 2026Updated last month
• SVF-tools / Teaching-Software-Verification

  View on GitHub
  Teaching and Learning Software Verification via SVF
  ☆34Dec 17, 2025Updated last month