A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.
☆675Aug 19, 2026Updated 2 months ago
Alternatives and similar repositories for mapping-high-level-constructs-to-llvm-ir
Users that are interested in mapping-high-level-constructs-to-llvm-ir 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 collection of out-of-tree LLVM passes for teaching and learning☆3,456Sep 20, 2026Updated last month
- A superoptimizer for LLVM IR☆2,385Aug 28, 2024Updated 2 years ago
- A collection of out-of-tree Clang plugins for teaching and learning☆765Sep 21, 2026Updated last month
- Example to use Boehm GC on LLVM IR.☆16Apr 22, 2017Updated 9 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆3,043Updated this week
- A LLVM-based static analysis framework.☆1,066Updated this week
- A curated list of awesome LLVM (including Clang, etc) related resources.☆731Oct 10, 2025Updated last year
- A lightweight LLVM python binding for writing JIT compilers☆2,314Updated this week
- Static Analyzer for LLVM based on the Crab Abstract Interpretation Library☆291Sep 12, 2026Updated last month
- Automatic verification of LLVM optimizations☆1,204Oct 26, 2026Updated last week
- A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR☆2,672Oct 23, 2026Updated 2 weeks ago
- 💀💀💀 The former home of clangir incubator, now part of the official llvm-project.☆580Feb 21, 2026Updated 8 months ago
- LLVM IR in natural Rust data structures☆705Jan 16, 2026Updated 9 months 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.
- Symbolic execution of LLVM IR with an engine written in Rust☆609Oct 27, 2023Updated 3 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆339Updated this week
- Haskell bindings for LLVM☆534Jul 18, 2024Updated 2 years ago
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆527May 21, 2025Updated last year
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆448Apr 13, 2026Updated 6 months ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated 2 years ago
- an educational compiler intermediate representation☆803Updated this week
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆601Jun 10, 2026Updated 4 months ago
- Context, field, and array-sensitive heap analysis for LLVM based on DSA.☆171Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Binary Analysis Framework in Rust☆592Mar 24, 2026Updated 7 months ago
- SymCC: efficient compiler-based symbolic execution☆889Oct 28, 2026Updated last week
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 5 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 4 years ago
- Library for lifting machine code to LLVM bitcode☆1,897Updated this week
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆154Aug 5, 2022Updated 4 years ago
- NeonGoby alias analysis checker☆15Jul 2, 2013Updated 13 years ago
- The Vellvm (Verified LLVM) coq development.☆505Updated this week
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 6 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.
- Implementation of the LLVM tutorial in Python using llvmlite☆345Jul 1, 2026Updated 4 months ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 6 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆171Mar 22, 2021Updated 5 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆153Jan 30, 2025Updated last year
- C-Reduce, a C and C++ program reducer☆1,675Jun 1, 2024Updated 2 years ago
- Library for interacting with LLVM IR in pure Go.☆1,284Dec 6, 2024Updated last year
- Crucible is a library for symbolic simulation of imperative programs☆781Updated this week