DaramG/CGSan external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

DaramG/CGSan

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/DaramG/CGSan)

Close

DaramG / CGSanView on GitHubMore

• External links
• Readme badge

☆10Sep 10, 2022Updated 3 years ago

Alternatives and similar repositories for CGSan

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

• buszk / drifuzz-concolic

  View on GitHub
  ☆12Jun 20, 2022Updated 3 years ago
• FoRTE-Research / HeXcite

  View on GitHub
  High-Efficiency eXpanded Coverage for Improved Testing of Executables
  ☆25Jul 7, 2022Updated 3 years ago
• SoftSec-KAIST / BotScreen

  View on GitHub
  BotScreen: Trust Everybody, but Cut the Aimbots Yourself (USENIX Security '23)
  ☆13Aug 25, 2023Updated 2 years ago
• OMH4ck / PolyGlot

  View on GitHub
  ☆41May 7, 2024Updated last year
• ucsb-seclab / syml

  View on GitHub
  ☆17Sep 23, 2024Updated last year
• shouc / digfuzz

  View on GitHub
  Implementation of DigFuzz (NDSS19 "Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing")
  ☆23Jul 19, 2022Updated 3 years ago
• ZHYfeng / Dependency

  View on GitHub
  ☆24Aug 24, 2025Updated 6 months ago
• badnack / angr_taint_engine

  View on GitHub
  angr's exploration technique to perform taint analysis
  ☆65Mar 26, 2020Updated 5 years ago
• occia / apicraft

  View on GitHub
  Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".
  ☆66Dec 14, 2021Updated 4 years ago
• zarkivy / BinV

  View on GitHub
  👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.
  ☆34Nov 7, 2021Updated 4 years ago
• B2R2-org / B2R2

  View on GitHub
  B2R2 is a collection of useful algorithms, functions, and tools for binary analysis.
  ☆447Updated this week
• Yunlongs / Genius

  View on GitHub
  Full implementaion of Genius
  ☆33May 15, 2023Updated 2 years ago
• kuc001 / EmTaint

  View on GitHub
  ☆47May 27, 2023Updated 2 years ago
• saelo / algopy

  View on GitHub
  Python implementation of various (graph) algorithms
  ☆11Nov 22, 2013Updated 12 years ago
• 5hadowblad3 / Beacon_artifact

  View on GitHub
  Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"
  ☆41Dec 3, 2025Updated 3 months ago
• HexHive / HexType

  View on GitHub
  HexType: Efficient Detection of Type Confusion Errors for C++
  ☆102Apr 20, 2024Updated last year
• Spirals-Team / bikiniproxy

  View on GitHub
  Rewriting Proxy for HTML and Javascript. Towards a Self-healing Web.
  ☆13Jul 28, 2020Updated 5 years ago
• V-H-R-Oliveira / Crackmes

  View on GitHub
  Repository for Binary Reverse Engineering exercises.
  ☆12Jul 17, 2020Updated 5 years ago
• yiluwusbu / DEVFUZZ

  View on GitHub
  IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing
  ☆14Dec 16, 2024Updated last year
• dwfault / CollAFLplusplus

  View on GitHub
  Implement CollAFL using LLVM LTO pass on afl++.
  ☆12Sep 24, 2020Updated 5 years ago
• bin2415 / llvm_CGPass

  View on GitHub
  llvm Call Graph分析
  ☆10May 27, 2017Updated 8 years ago
• InCerryGit / BlogCodes

  View on GitHub
  Some sample codes for blog article
  ☆13Sep 15, 2022Updated 3 years ago
• CyberGrandChallenge / linux-source-3.13.2-cgc

  View on GitHub
  DARPA Cyber Grand Challenge Linux source code
  ☆17Jul 9, 2015Updated 10 years ago
• galdeleon / Conferences

  View on GitHub
  ☆12Aug 5, 2021Updated 4 years ago
• eix128 / MCSemaWindows

  View on GitHub
  MCSema Build Windows download
  ☆11Jul 6, 2020Updated 5 years ago
• srg-imperial / SnapFuzz-artefact

  View on GitHub
  ☆11May 24, 2022Updated 3 years ago
• Aurele-Barriere / CoreJIT

  View on GitHub
  Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler
  ☆13Nov 17, 2022Updated 3 years ago
• skeeto / bfc

  View on GitHub
  Multi-threading brainfuck compiler
  ☆11Dec 10, 2017Updated 8 years ago
• kabeor / kabeor.github.io

  View on GitHub
  ☆10Oct 11, 2020Updated 5 years ago
• qiqi1 / taint_angr

  View on GitHub
  基于angr的污点分析引擎
  ☆41Apr 19, 2019Updated 6 years ago
• newfriday / misc

  View on GitHub
  ☆13Jul 30, 2025Updated 7 months ago
• fangdada / learning-angr

  View on GitHub
  学习angr用，里面可能啥都有
  ☆10May 8, 2019Updated 6 years ago
• zardus / mulpyplexer

  View on GitHub
  A module that multiplexes interactions with lists of python objects.
  ☆14Aug 24, 2022Updated 3 years ago
• ASSERT-KTH / quixbugs-experiment

  View on GitHub
  Open-science repository on KTH's program repair experiment on the Quixbugs benchmark
  ☆12May 23, 2022Updated 3 years ago
• libsbmlsim / libsbmlsim

  View on GitHub
  LibSBMLSim: A library for simulating SBML models
  ☆13Sep 14, 2021Updated 4 years ago
• reactos / syzkaller

  View on GitHub
  syzkaller is an unsupervised coverage-guided kernel fuzzer
  ☆13Oct 3, 2020Updated 5 years ago
• Markakd / kernel_exploit

  View on GitHub
  Linux kernel exploit
  ☆13Oct 6, 2021Updated 4 years ago
• allthingsida / idacpp

  View on GitHub
  idax: IDASDK extension libraries
  ☆22Oct 12, 2025Updated 4 months ago
• Program-Understanding / oxide

  View on GitHub
  ☆14Feb 25, 2026Updated last week