xiehuc / llvm-pred
predicate scientific program performance model using llvm
☆28Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for llvm-pred
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆135Updated 3 years ago
- llvm Data Flow Graph dump☆37Updated 3 years 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…☆100Updated 2 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- llvm control flow graph☆26Updated 5 years ago
- An example LLVM pass which can run automatically in clang.☆36Updated 9 years ago
- SUPA☆28Updated 4 years ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆214Updated 5 years ago
- ☆15Updated 5 years ago
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆51Updated 5 years ago
- ☆62Updated 5 years ago
- Visualization of LLVM IR☆60Updated 10 years ago
- PARTS / LLVM compiler☆31Updated 5 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆51Updated 2 years ago
- A step-by-step tutorial for building an LLVM sample pass☆213Updated 4 years ago
- MCFI/PICFI tool chain☆42Updated 8 months ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆23Updated 2 years ago
- A library for analyzing LLVM bitcode in Haskell☆43Updated 10 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- 简化版本llvm的stackprotector策略,将其包装成一个pass,对程序的stack进行保护☆14Updated 7 years ago
- Static Slicer for LLVM☆65Updated 8 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆25Updated 4 years ago
- Stony Brook University CFI library☆21Updated 10 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆19Updated 7 years ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆263Updated 2 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago