zzhzz / clang-cfg

Related projects ⓘ

Alternatives and complementary repositories for clang-cfg

• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆52Updated 6 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 3 years ago
• shining1984 / screader
  The screader is a soure code reading tool based the libclang. It is implemented by the C.
  ☆73Updated 4 years ago
• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 5 years ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆34Updated 4 months ago
• bin2415 / llvm_CGPass
  llvm Call Graph分析
  ☆10Updated 7 years ago
• BinTuner / Dev
  BinTuner
  ☆59Updated 2 years ago
• imdea-software / LLVM_Instrumentation_Pass
  ☆23Updated 8 years ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆13Updated 4 years ago
• CAST-projects / Clang-ast-viewer
  Clang AST viewer
  ☆63Updated 7 years ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆14Updated this week
• JunjieChen / HiCOND
  ☆9Updated 5 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆137Updated 3 months ago
• mxz297 / dyninst-tools
  A collection of command-line tools based on Dyninst
  ☆16Updated 3 years ago
• tejainece / gcov
  GCNO and GCDA parser and writer implementation in Dart
  ☆13Updated 7 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆32Updated 2 weeks ago
• nsumner / clang-plugins-demo
  A simple example of defining custom plugins for clang and the clang static analyzer.
  ☆78Updated 3 years ago
• drzchen / movec
  Movec: A Tool for the Monitoring and Verification of C Programs
  ☆21Updated 8 months ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆36Updated 10 months ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆29Updated last month
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago
• adrianherrera / llvm-cfg-to-json
  Exports an LLVM control flow graph (CFG) (including function calls) to JSON
  ☆23Updated 2 years ago
• reveriel / callgraph
  Call-graph generator.
  ☆21Updated 6 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 4 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 2 years ago
• yuedeji / c_func_name_extract
  Extract Function Name in C/C++ Source Codes
  ☆25Updated 6 years ago
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆22Updated 6 months ago
• kisslune / POCR
  ☆12Updated 4 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆35Updated 7 months ago
• eschulte / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆66Updated 10 years ago