clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
☆282Apr 16, 2022Updated 4 years ago
Alternatives and similar repositories for clang-llvm-tutorial
Users that are interested in clang-llvm-tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆237Jun 19, 2019Updated 7 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Jan 15, 2020Updated 6 years ago
- A LLVM-based static analysis framework.☆1,063Updated this week
- Static Value-Flow Analysis Framework for Source Code☆1,715Updated this week
- Pointer analysis prototype (currently including anderson, steensgard).☆17Dec 20, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Pointer Analysis with Tunable Precision☆27Mar 23, 2016Updated 10 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆93Sep 18, 2025Updated last year
- A collection of out-of-tree LLVM passes for teaching and learning☆3,452Sep 20, 2026Updated last month
- Static range analysis for the LLVM compiler infrastructure.☆57Oct 8, 2019Updated 7 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- Teaching and Learning Software Analysis via SVF☆218Sep 16, 2026Updated last month
- A curated list of awesome directed fuzzing research papers☆604Oct 12, 2026Updated 2 weeks ago
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Dec 7, 2019Updated 6 years ago
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆527May 21, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A wrapper script to build whole-program LLVM bitcode files☆733Dec 30, 2025Updated 10 months ago
- A collection of out-of-tree Clang plugins for teaching and learning☆766Sep 21, 2026Updated last month
- Context, field, and array-sensitive heap analysis for LLVM based on DSA.☆170Aug 20, 2026Updated 2 months ago
- A toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain☆23Jul 1, 2017Updated 9 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆153Jan 30, 2025Updated last year
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆148Jan 6, 2024Updated 2 years ago
- LLVM IR入门指南☆1,518Jan 4, 2026Updated 9 months ago
- A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…☆104Jun 17, 2022Updated 4 years ago
- DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers☆339Apr 30, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A use-after-free checker based on SVF.☆21Nov 29, 2017Updated 8 years ago
- OSS-Fuzz - integrated with AFLGo for Patch Testing☆36Aug 24, 2017Updated 9 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆24Aug 23, 2022Updated 4 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Apr 19, 2024Updated 2 years ago
- SymCC: efficient compiler-based symbolic execution☆886Updated this week
- The Use of Likely Invariants as Feedback for Fuzzers☆93Jan 19, 2022Updated 4 years ago
- A simple example of defining custom plugins for clang and the clang static analyzer.☆94Dec 30, 2020Updated 5 years ago
- An external project example using SVF as a library☆23Jul 10, 2026Updated 3 months ago
- UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools☆1,178Sep 18, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆238Mar 14, 2022Updated 4 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Mar 28, 2019Updated 7 years ago
- Directed Greybox Fuzzing with AFL☆562Mar 13, 2024Updated 2 years ago
- A curated list of awesome LLVM (including Clang, etc) related resources.☆729Oct 10, 2025Updated last year
- 20 benchmark programs☆54Mar 17, 2021Updated 5 years ago
- A controller for managing QEMU virtual machines created through Syzkaller's create-image.sh.☆13Sep 18, 2026Updated last month
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆339Oct 22, 2026Updated last week