nsumner / llvm-demoView external linksLinks
A simple example of how LLVM can be used to gather static or dynamic facts about a program.
☆73Dec 28, 2025Updated last month
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
- 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
- Memory system characterization benchmarks using atomic operations☆16Jan 21, 2026Updated 3 weeks ago
- Efficient Path Profiling using LLVM☆18Oct 25, 2017Updated 8 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- Netlist and Verilog Haskell Package☆18Nov 21, 2010Updated 15 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- R package providing Asio C++ library header files☆14Nov 26, 2025Updated 2 months ago
- LLVM with SGX support☆13Feb 5, 2018Updated 8 years ago
- ☆13Sep 30, 2020Updated 5 years ago
- Netrace: a network packet trace reader☆14Jun 16, 2014Updated 11 years ago
- Anticipating Invariant☆12Mar 14, 2014Updated 11 years ago
- Collection of Praetorian solutions to CTF challenges☆25Apr 20, 2018Updated 7 years ago
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 13 years ago
- ☆15Jun 14, 2022Updated 3 years ago
- Identifying the compiler family, version and compiler flags that generated a binary☆19Dec 19, 2019Updated 6 years ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 9 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆32Jul 20, 2021Updated 4 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
- CaPI: Compiler-assisted Performance Instrumentation☆18Feb 6, 2026Updated last week
- PyCon 2015 - Wiki & Tasks☆26Jun 3, 2015Updated 10 years ago
- ☆13Apr 30, 2016Updated 9 years ago
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 8 years ago
- A Verilog Synthesis Regression Test☆37Jan 19, 2026Updated 3 weeks ago
- A C library for tracking metrics☆17Jul 28, 2022Updated 3 years ago
- ☆17Apr 18, 2019Updated 6 years ago
- A C++ template library for FPGAs on top of Xilinx Vivado HLS☆14Feb 2, 2017Updated 9 years ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- ASIO Cooperative Task for await-based coroutine☆16Sep 8, 2018Updated 7 years ago
- C++ standard proposals☆16Jan 30, 2026Updated 2 weeks ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Some simple LLVM Pass examples☆16Aug 7, 2022Updated 3 years ago
- ☆111Jul 11, 2021Updated 4 years ago
- ☆49Oct 10, 2023Updated 2 years ago