ARISTODE/program-dependence-graph 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

ARISTODE/program-dependence-graph

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/ARISTODE/program-dependence-graph)

Close

ARISTODE / program-dependence-graphView on GitHubMore

• External links
• Readme badge

Program dependence graph in LLVM

☆42Aug 4, 2025Updated last year

Alternatives and similar repositories for program-dependence-graph

Users that are interested in program-dependence-graph are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• ZiwenWan / Program-Dependence-Graph-in-LLVM

  View on GitHub
  ☆40Dec 24, 2023Updated 2 years ago
• taptipalit / dynpta

  View on GitHub
  ☆15May 26, 2021Updated 5 years ago
• control-flow-attestation / c-flat

  View on GitHub
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆45Aug 12, 2016Updated 10 years ago
• rustanlys / rupta

  View on GitHub
  A Pointer Analysis Framework for Rust
  ☆72Jul 13, 2026Updated last month
• PLSysSec / rlbox_wasm2c_sandbox

  View on GitHub
  ☆18Jul 5, 2026Updated last month
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• SVF-tools / SVF

  View on GitHub
  Static Value-Flow Analysis Framework for Source Code
  ☆1,707Aug 24, 2026Updated last week
• compiler-research / pldi-tutorials-2023

  View on GitHub
  ☆12Mar 5, 2026Updated 5 months ago
• travitch / whole-program-llvm

  View on GitHub
  A wrapper script to build whole-program LLVM bitcode files
  ☆734Dec 30, 2025Updated 8 months ago
• Lightninghkm / DataGuard

  View on GitHub
  Code Repository for DataGuard Framework
  ☆13Jul 11, 2023Updated 3 years ago
• rdadolf / clangtool

  View on GitHub
  An example LLVM pass which can run automatically in clang.
  ☆39Aug 4, 2015Updated 11 years ago
• seclab-ucr / IncreLux

  View on GitHub
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆33Apr 6, 2022Updated 4 years ago
• seclab-ucr / Unias

  View on GitHub
  A Hybrid Alias Analysis
  ☆19Aug 10, 2023Updated 3 years ago
• squizz617 / vulnDBGen

  View on GitHub
  Vulnerability database generator: a submodule for VUDDY
  ☆14May 28, 2024Updated 2 years ago
• mustakimur / OS-CFI

  View on GitHub
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆38Jan 10, 2022Updated 4 years ago
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• vusec / typearmor

  View on GitHub
  Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
  ☆48Apr 6, 2017Updated 9 years ago
• can-lehmann / egraphs.cpp

  View on GitHub
  E-Graph library
  ☆24Apr 4, 2024Updated 2 years ago
• yapengye / D-ARM

  View on GitHub
  ☆27Aug 28, 2024Updated 2 years ago
• harmim / vut-ifj-project

  View on GitHub
  Formální jazyky a překladače - Projekt - Implementace překladače imperativního jazyka IFJ17
  ☆13Dec 7, 2017Updated 8 years ago
• rshariffdeen / FixMorph

  View on GitHub
  FixMorph is a morphing tool for C source codes which supports automated code-transfer
  ☆37Apr 9, 2025Updated last year
• SocietyMaster / FlowCog

  View on GitHub
  Project FlowCog (2017)
  ☆27Aug 23, 2018Updated 8 years ago
• GaloisInc / cclyzerpp

  View on GitHub
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆153Jan 30, 2025Updated last year
• umnsec / ndi

  View on GitHub
  Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs
  ☆16Nov 7, 2022Updated 3 years ago
• zhangyz / llvm-slicing

  View on GitHub
  Symbolic Program Slicing with LLVM
  ☆86Aug 3, 2020Updated 6 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• bin2415 / llvm_CGPass

  View on GitHub
  llvm Call Graph分析
  ☆10May 27, 2017Updated 9 years ago
• utds3lab / sgx-nbench

  View on GitHub
  The nbench benchmark ported to SGX.
  ☆14Aug 4, 2019Updated 7 years ago
• santoshn / softboundcets-34

  View on GitHub
  SoftBoundCETS for LLVM+Clang version 34
  ☆61Sep 19, 2014Updated 11 years ago
• emlid / pi-gen-navio

  View on GitHub
  ☆12Feb 22, 2021Updated 5 years ago
• vhscampos / range-analysis

  View on GitHub
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Oct 8, 2019Updated 6 years ago
• cMiraka / IDTHook-x86

  View on GitHub
  Detour hooking IRQ1 ISR through IDT (Interrupt Descriptor Table)
  ☆21Mar 16, 2026Updated 5 months ago
• ICSE2020-MemLock / MemLock

  View on GitHub
  MemLock: Memory Usage Guided Fuzzing
  ☆32Jun 30, 2020Updated 6 years ago
• patricoferris / riscv-o-spec

  View on GitHub
  An OCaml extension for RISC-V
  ☆16Nov 6, 2020Updated 5 years ago
• paradise-fi / divine

  View on GitHub
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆22Mar 21, 2021Updated 5 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• sancus-tee / tutorial-dsn18

  View on GitHub
  Building Distributed Enclave Applications with Sancus and SGX
  ☆16Dec 9, 2020Updated 5 years ago
• emlid / rcio-dkms

  View on GitHub
  ☆10Jan 16, 2020Updated 6 years ago
• hongjun9 / CPinconsistency

  View on GitHub
  Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles
  ☆10Oct 13, 2022Updated 3 years ago
• wuzhanglin / llvm-IR-examples

  View on GitHub
  Some examples for using LLVM to generate IR
  ☆44Aug 23, 2022Updated 4 years ago
• TheGalaxyProject / tgpkernel-s9-p

  View on GitHub
  Custom Kernel for Samsung Galaxy S9 / S9+ running Samsung Firmware (Pie 9.0)
  ☆20Mar 22, 2020Updated 6 years ago
• secartifacts / secartifacts.github.io

  View on GitHub
  Website for Research Artifacts from the Security Community
  ☆34Aug 14, 2026Updated 2 weeks ago
• mirage / checkseum

  View on GitHub
  ☆16Apr 21, 2026Updated 4 months ago