A simple example of how LLVM can be used to gather static or dynamic facts about a program.
☆73Dec 28, 2025Updated 2 months ago
Alternatives and similar repositories for llvm-demo
Users that are interested in llvm-demo are comparing it to the libraries listed below
Sorting:
- ☆66Oct 29, 2019Updated 6 years ago
- Memory system characterization benchmarks using atomic operations☆16Jan 21, 2026Updated 2 months ago
- ☆15Jun 14, 2022Updated 3 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 4 years ago
- State-of-the-art about program verification on Ethereum DApps☆22Dec 6, 2023Updated 2 years ago
- Program Analysis for LLVM☆38Mar 25, 2017Updated 8 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 4 years ago
- ☆13Sep 30, 2020Updated 5 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 12 years ago
- Netlist and Verilog Haskell Package☆19Nov 21, 2010Updated 15 years ago
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 13 years ago
- Some simple LLVM Pass examples☆16Aug 7, 2022Updated 3 years ago
- Efficient Path Profiling using LLVM☆18Oct 25, 2017Updated 8 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆276Apr 16, 2022Updated 3 years ago
- Compiler Course☆19Apr 29, 2015Updated 10 years ago
- A Verilog Synthesis Regression Test☆37Jan 19, 2026Updated 2 months ago
- Netrace: a network packet trace reader☆14Jun 16, 2014Updated 11 years ago
- ☆111Jul 11, 2021Updated 4 years ago
- XSB Prolog☆14Mar 27, 2010Updated 15 years ago
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 8 years ago
- How to use node-local MPI rank IDs to manually map MPI ranks to GPUs☆14Apr 22, 2020Updated 5 years ago
- TeX source of a book: The Spirit of The Chinese People☆20May 9, 2020Updated 5 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆33Jul 20, 2021Updated 4 years ago
- Identifying the compiler family, version and compiler flags that generated a binary☆19Dec 19, 2019Updated 6 years ago
- ASIO Cooperative Task for await-based coroutine☆16Sep 8, 2018Updated 7 years ago
- PyCon 2015 - Wiki & Tasks☆26Jun 3, 2015Updated 10 years ago
- Presentation materials for the 2016 Berkeley C++ Summit☆14Oct 20, 2016Updated 9 years ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Dec 30, 2021Updated 4 years ago
- RISC-V support for LLVM projects (LLVM, Clang, ...)☆277Jul 26, 2024Updated last year
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 10 years ago
- SUPA☆28Jan 15, 2026Updated 2 months ago
- This repository contains a tutorial for a quick start in how to write a register allocator using LLVM☆279Feb 21, 2019Updated 7 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Apr 4, 2015Updated 10 years ago
- C++ standard proposals☆16Updated this week
- A C library for tracking metrics☆17Jul 28, 2022Updated 3 years ago
- Develop toolchain based on llvm to for Cpu0 processor☆54Mar 14, 2026Updated last week
- ☆49Oct 10, 2023Updated 2 years ago
- CaPI: Compiler-assisted Performance Instrumentation☆18Updated this week