Alternatives and similar repositories for callgraph

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

• li-xin-yi / cfg-explorer
  CFG explorer for binaries
  ☆39Updated last year
• QuanjunZhang / gcov
  code coverage for c
  ☆44Updated 8 years ago
• joshuay2022 / empc
  Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
  ☆33Updated 8 months ago
• yanxiangyfg / gcov
  code coverage for c
  ☆50Updated 8 years ago
• Smilencelsy / Control-Flow-Integrity
  Sth in Control-Flow Integrity
  ☆20Updated 7 years ago
• imdea-software / LLVM_Instrumentation_Pass
  ☆26Updated 9 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
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 6 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
• drzchen / movec
  Movec: A Tool for the Monitoring and Verification of C Programs
  ☆22Updated last year
• bernardnongpoh / CallGraph
  A CallGraph Generation LLVM Pass for C and C++ program
  ☆33Updated 3 years ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆148Updated 2 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 6 years ago
• xiongyingfei / xiongyingfei.github.io
  ☆78Updated last week
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆88Updated 4 months ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆43Updated 4 years ago
• ZJU-SEC / Readings
  ☆61Updated 3 years ago
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆26Updated 6 months ago
• ise-uiuc / KNighter
  [SOSP'25] Automatic checker synthesis for system-level static analysis
  ☆158Updated 3 months ago
• yuleisui / groupmeeting
  Software Analysis and Verification Group
  ☆15Updated 2 months ago
• ZHYfeng / Generate_Linux_Kernel_Bitcode
  ☆37Updated 7 months ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆42Updated 5 months ago
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆261Updated 2 years ago
• Yunlongs / Goshawk
  Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…
  ☆103Updated 2 years ago
• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 6 years ago
• lishuhuakai / qemu_reading
  qemu源码的阅读笔记
  ☆91Updated last year
• bin2415 / llvm_DFGPass
  llvm Data Flow Graph dump
  ☆36Updated 4 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆114Updated 2 years ago
• SVF-tools / Software-Analysis-Studio
  Teaching and Learning Software Analysis via SVF
  ☆210Updated last month