Alternatives and similar repositories for callgraph

Users that are interested in callgraph are comparing it to the libraries listed below

• Smilencelsy / Control-Flow-Integrity
  Sth in Control-Flow Integrity
  ☆20Updated 7 years ago
• li-xin-yi / cfg-explorer
  CFG explorer for binaries
  ☆39Updated last year
• ZJU-SEC / Readings
  ☆61Updated 3 years ago
• imdea-software / LLVM_Instrumentation_Pass
  ☆26Updated 9 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 6 years ago
• QuanjunZhang / gcov
  code coverage for c
  ☆44Updated 8 years ago
• lishuhuakai / qemu_reading
  qemu源码的阅读笔记
  ☆91Updated last year
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆89Updated 4 months ago
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 6 years ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆85Updated last year
• bigconvience / LLVM-Essentials-13
  learn javassist by example
  ☆30Updated 4 years ago
• yuleisui / groupmeeting
  Software Analysis and Verification Group
  ☆15Updated 3 months ago
• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 6 years ago
• ZHYfeng / Generate_Linux_Kernel_Bitcode
  ☆37Updated 7 months ago
• joshuay2022 / empc
  Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
  ☆35Updated 9 months ago
• drzchen / movec
  Movec: A Tool for the Monitoring and Verification of C Programs
  ☆22Updated last year
• yanxiangyfg / gcov
  code coverage for c
  ☆50Updated 8 years ago
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆26Updated 6 months ago
• bernardnongpoh / CallGraph
  A CallGraph Generation LLVM Pass for C and C++ program
  ☆33Updated 3 years ago
• xiongyingfei / xiongyingfei.github.io
  ☆78Updated 3 weeks ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆148Updated 2 years ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆43Updated 4 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆40Updated 2 years ago
• hellogcc / osdt-weekly
  开源开发工具周刊
  ☆195Updated this week
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆149Updated last year
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆56Updated 4 years ago
• RangerNJU / Software-Testing-Intro
  Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…
  ☆30Updated 5 years ago
• ise-uiuc / KNighter
  [SOSP'25] Automatic checker synthesis for system-level static analysis
  ☆160Updated 3 months ago
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆36Updated 3 months ago
• sslab-keio / FiTx
  Bug detection framework for finding Finger tracable bugs in Linux
  ☆20Updated 10 months ago