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
- Anticipating Invariant☆12Mar 14, 2014Updated 12 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 4 years ago
- llvm crash analysis☆44Jun 26, 2024Updated last year
- 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
- R package providing Asio C++ library header files☆14Nov 26, 2025Updated 3 months ago
- LLVM with SGX support☆13Feb 5, 2018Updated 8 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 12 years ago
- Netlist and Verilog Haskell Package☆19Nov 21, 2010Updated 15 years ago
- ☆35Mar 13, 2026Updated last week
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 13 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
- How to use node-local MPI rank IDs to manually map MPI ranks to GPUs☆14Apr 22, 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
- Slides and very basic examples☆112May 17, 2017Updated 8 years ago
- A step-by-step tutorial for building an LLVM sample pass☆220May 14, 2020Updated 5 years ago
- Logger for MPI communication☆27Jul 12, 2023Updated 2 years ago
- Example Fabulous app that uses MSAL to authenticate a user on Azure Active Directory☆11Dec 8, 2022Updated 3 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
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- File mapping☆12Dec 14, 2023Updated 2 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