A toy implementation about Program Dependence Graph using LLVM
☆13Sep 27, 2023Updated 2 years ago
Alternatives and similar repositories for PDG_demo
Users that are interested in PDG_demo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated 3 weeks ago
- Visualization tool for designing mesh Network-on-Chips (NoC) and assisting with architecture research☆17Jan 21, 2024Updated 2 years ago
- ☆13Aug 18, 2025Updated 7 months ago
- The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.☆29Jan 22, 2025Updated last year
- CCS 2023 | Explainable malware and vulnerability detection with XAI in paper "FINER: Enhancing State-of-the-art Classifiers with Feature …☆11Aug 20, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Jul 2, 2024Updated last year
- Cycle-level, trace-driven, parallel GPU simulator for NVIDIA Pascal.☆16Dec 13, 2025Updated 3 months ago
- "Learning Stable Classifiers by Transferring Unstable Features" ICML 2022☆14Jul 24, 2022Updated 3 years ago
- ☆30Aug 30, 2022Updated 3 years ago
- GPGPU-SIM 使用篇☆14Nov 12, 2022Updated 3 years ago
- First two front-end phases of a language-independent compiler implemented in C++☆14Jul 27, 2020Updated 5 years ago
- A Retrieval-Augmented Generation (RAG) system running DeepSeek R1 Distill LLama 70B model using Groq's fast inference API.☆13Jan 29, 2025Updated last year
- ☆11May 9, 2023Updated 2 years ago
- SNA on various social graphs including trading networks & Facebook friendship networks.☆11Jun 17, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Binary Ninja Call Graph plugin☆24Apr 20, 2022Updated 3 years ago
- Nebula: Deep Neural Network Benchmarks in C++☆13Jan 2, 2025Updated last year
- Here we try to detect the attack at it's first attempt using machine learning algorithms(Reinforcement l)☆11Apr 27, 2020Updated 5 years ago
- Trust Management for Vehicular Networks☆11Aug 6, 2025Updated 7 months ago
- We propose a novel adversarial example generation technique (i.e., CODA) for testing deep code models. Its key idea is to use code differ…☆19Oct 8, 2023Updated 2 years ago
- ☆12Nov 19, 2022Updated 3 years ago
- deep learning, malware detection, predictive uncertainty, dataset shift, calibration, uncertainty quantification, android malware☆16Nov 30, 2021Updated 4 years ago
- SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.☆24Nov 17, 2021Updated 4 years ago
- Replace original DRAM model in GPGPU-sim with Ramulator DRAM model☆21Dec 10, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆18Mar 12, 2025Updated last year
- Redis2 和 Redis5数据结构☆10Mar 22, 2022Updated 4 years ago
- A generalizable machine learning-based performance modeling framework.☆18Jun 9, 2025Updated 9 months ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- Comparison of Ad-Hoc routing protocols [AODV, DSDV, DSR]☆13Apr 13, 2019Updated 6 years ago
- unsupervised concept drift detection with one-class classifiers☆16Mar 10, 2020Updated 6 years ago
- Some anti-sandbox codes, copy directly to strengthen your own ShellCode☆12Dec 26, 2022Updated 3 years ago
- ⛔ DEPRECATED ⛔ HERO Software Development Kit☆20Jan 6, 2022Updated 4 years ago
- A linter for Soufflé Datalog☆17Apr 1, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- HQEMU v2.5.1 is a retargetable and multi-threaded dynamic binary translator on multicores☆24Mar 21, 2018Updated 8 years ago
- Libcovevent is a async-I/O library, but it provide APIs for sync style programming in C++.☆16Sep 27, 2018Updated 7 years ago
- netbeacon - monitoring your network capture, NIDS or network analysis process☆20Updated this week
- An embeddable double sided accounting ledger built on PG/SQLx☆10Feb 16, 2026Updated last month
- web server☆15Aug 8, 2016Updated 9 years ago
- jar or dex tools☆10Mar 24, 2016Updated 10 years ago
- ☆20Jul 10, 2024Updated last year