Alternatives and similar repositories for clang-cfg:

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

• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆17Updated 3 years ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆51Updated 7 years ago
• imdea-software / LLVM_Instrumentation_Pass
  ☆24Updated 8 years ago
• bin2415 / llvm_CGPass
  llvm Call Graph分析
  ☆10Updated 7 years ago
• yuedeji / c_func_name_extract
  Extract Function Name in C/C++ Source Codes
  ☆25Updated 7 years ago
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago
• lkpsg / ccscanner
  A C/C++ dependency scanner
  ☆38Updated last year
• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 5 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆33Updated this week
• tejainece / gcov
  GCNO and GCDA parser and writer implementation in Dart
  ☆13Updated 7 years ago
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆139Updated 4 years ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆34Updated 7 months ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆101Updated last month
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆22Updated 8 months ago
• magsilva / proteum
  Tool for mutation testing of C programs
  ☆20Updated 4 years ago
• k3ut0i / llvm-dataflow-graphs
  drawing graphs for llvm ir. data flow and control flow
  ☆40Updated 7 years ago
• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆26Updated 8 years ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆13Updated 5 years ago
• gpoo / ccfinderx
  CCFinderX with autotools support
  ☆54Updated 8 years ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆14Updated 3 weeks ago
• chenruibuaa / racebench
  Examples for NASAC 2019 interrupt race detection competition
  ☆9Updated 5 years ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆21Updated 2 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆39Updated 10 months ago
• JunjieChen / HiCOND
  ☆9Updated 5 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆51Updated 7 months ago
• arichardson / juliet-test-suite-c
  ☆76Updated 2 years ago
• shao-hua-li / CompDiff
  ☆35Updated last year
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆136Updated 6 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆11Updated 7 years ago
• stg-tud / MUBench
  ☆55Updated last year