Alternatives and similar repositories for clang-cfg

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

• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆53Updated 7 years ago
• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 5 years ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆37Updated this week
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆24Updated last year
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 4 years ago
• yuedeji / c_func_name_extract
  Extract Function Name in C/C++ Source Codes
  ☆27Updated 7 years ago
• bin2415 / llvm_CGPass
  llvm Call Graph分析
  ☆10Updated 8 years ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆60Updated 2 weeks ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆18Updated last month
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆34Updated 7 months ago
• JunjieChen / HiCOND
  ☆10Updated 5 years ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆53Updated 3 years ago
• drzchen / movec
  Movec: A Tool for the Monitoring and Verification of C Programs
  ☆22Updated last year
• kisslune / POCR
  ☆14Updated 11 months ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆40Updated 3 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated last week
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆53Updated last year
• imdea-software / LLVM_Instrumentation_Pass
  ☆25Updated 8 years ago
• BinTuner / Dev
  BinTuner
  ☆62Updated 2 years ago
• adrianherrera / llvm-cfg-to-json
  Exports an LLVM control flow graph (CFG) (including function calls) to JSON
  ☆23Updated 3 years ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆77Updated 3 years ago
• eth-sri / learch
  ☆40Updated last year
• MCFuzzer / MCFuzz
  Finding and Understanding Bugs in Software Model Checkers
  ☆8Updated 6 years ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆15Updated 5 years ago
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• chenruibuaa / racebench
  Examples for NASAC 2019 interrupt race detection competition
  ☆9Updated 5 years ago
• samir4321 / neural-taint-analysis
  implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'
  ☆14Updated 5 years ago
• CAST-projects / Clang-ast-viewer
  Clang AST viewer
  ☆64Updated 8 years ago