Program dependence graph in LLVM
☆42Aug 4, 2025Updated 6 months ago
Alternatives and similar repositories for program-dependence-graph
Users that are interested in program-dependence-graph are comparing it to the libraries listed below
Sorting:
- ☆39Dec 24, 2023Updated 2 years ago
- ☆11Jun 20, 2023Updated 2 years ago
- A pass that can generate PDG(in *.dot) for LLVM.☆36Aug 16, 2016Updated 9 years ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆16Nov 10, 2020Updated 5 years ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- ☆26Aug 28, 2024Updated last year
- 🌟 Notes and codes for Linux Kernel (SJTU-CS353)☆25Jun 22, 2021Updated 4 years ago
- Project FlowCog (2017)☆27Aug 23, 2018Updated 7 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆33Apr 6, 2022Updated 3 years ago
- ☆37May 19, 2023Updated 2 years ago
- ☆29Dec 16, 2022Updated 3 years ago
- FixMorph is a morphing tool for C source codes which supports automated code-transfer☆35Apr 9, 2025Updated 10 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆150Jan 30, 2025Updated last year
- ☆38Feb 15, 2022Updated 4 years ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆105Jan 27, 2026Updated last month
- A wrapper script to build whole-program LLVM bitcode files☆732Dec 30, 2025Updated 2 months ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆30Jan 17, 2021Updated 5 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆101Nov 10, 2025Updated 3 months ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆38Jan 10, 2022Updated 4 years ago
- A LLVM-based static analysis framework.☆1,034Feb 17, 2026Updated last week
- Code and artifacts related to the Asia CCS 2022 paper☆38Nov 8, 2021Updated 4 years ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆44Aug 12, 2016Updated 9 years ago
- ☆14Dec 2, 2021Updated 4 years ago
- -☆11Dec 18, 2022Updated 3 years ago
- Official code of the paper "A Stealthy Wrongdoer: Feature-Oriented Reconstruction Attack against Split Learning".☆15Sep 11, 2024Updated last year
- evolution of extant software☆24Jan 24, 2018Updated 8 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- A java library to compute the difference between XML files☆14Oct 23, 2009Updated 16 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- Count how many bits are set (population count) in C++ using POPCNT via inline assembly and gcc intrinsics (with benchmarks)☆16May 9, 2011Updated 14 years ago
- Some examples for using LLVM to generate IR☆44Aug 23, 2022Updated 3 years ago
- 基于C语言实现一个简易的Web服务器，支持Http和Https（基于OpenSSL的TLS协议）☆13Sep 20, 2021Updated 4 years ago
- Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles☆10Oct 13, 2022Updated 3 years ago
- DiAne is a smart fuzzer for IoT devices☆42Apr 3, 2024Updated last year
- Videocore Backend for llvm☆23Feb 3, 2015Updated 11 years ago
- Arch Linux package for the Linux Kernel and modules with grsecurity/PaX patches.☆20Apr 26, 2017Updated 8 years ago
- llvm Call Graph分析☆10May 27, 2017Updated 8 years ago
- This repository contains all public data, python scripts, and documentation relating to NIST Public Safety Communications Research Divisi…☆11Nov 22, 2022Updated 3 years ago
- Dockerfile to install and run heartbleed tool☆32Jun 16, 2017Updated 8 years ago