Alternatives and similar repositories for Clang-Static-Analyzer-Checkers:

Users that are interested in Clang-Static-Analyzer-Checkers are comparing it to the libraries listed below

• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 5 years ago
• GoSSIP-SJTU / TripleDoggy
  基于clang static analyzer的源码漏洞检测插件
  ☆199Updated 5 years ago
• xiehuc / llvm-pred
  predicate scientific program performance model using llvm
  ☆28Updated 9 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆17Updated 4 years ago
• elite-lang / RedApple
  A little C Style Compiler
  ☆57Updated 8 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 5 years ago
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 6 years ago
• CAST-projects / Clang-ast-viewer
  Clang AST viewer
  ☆64Updated 8 years ago
• rdadolf / clangtool
  An example LLVM pass which can run automatically in clang.
  ☆38Updated 9 years ago
• travitch / llvm-analysis
  A library for analyzing LLVM bitcode in Haskell
  ☆43Updated 10 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• betterenvi / Compiler-DFA-SSA
  Data Flow Analysis and Static Single Assignment
  ☆29Updated 7 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 9 months ago
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 4 years ago
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆142Updated 5 years ago
• imdea-software / LLVM_Instrumentation_Pass
  ☆24Updated 8 years ago
• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆120Updated 9 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 7 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated this week
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆91Updated 4 years ago
• ahmedbougacha / dagger
  Binary Translator to LLVM IR
  ☆217Updated last year
• mull-project / libirm
  Low-level IR mutations for LLVM Bitcode
  ☆38Updated last year
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• pointer-authentication / parts-llvm
  PARTS / LLVM compiler
  ☆32Updated 5 years ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 7 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆141Updated 2 months ago
• delcypher / srg-llvm-pass-tutorial
  Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial
  ☆19Updated 9 years ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆77Updated 3 years ago
• awruef / find-heartbleed
  clang checker to find heartbleed
  ☆86Updated 10 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 7 years ago