xiehuc / llvm-predLinks
predicate scientific program performance model using llvm
☆28Updated 9 years ago
Alternatives and similar repositories for llvm-pred
Users that are interested in llvm-pred are comparing it to the libraries listed below
Sorting:
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆139Updated 4 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- llvm control flow graph☆26Updated 5 years ago
- ☆63Updated 5 years ago
- llvm Data Flow Graph dump☆37Updated 4 years ago
- ☆15Updated 6 years ago
- Experimental translation of llvm to smt.☆56Updated 5 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆221Updated 5 years ago
- custom type systems for Clang☆98Updated 9 years ago
- An example LLVM pass which can run automatically in clang.☆38Updated 9 years ago
- A library for analyzing LLVM bitcode in Haskell☆43Updated 10 years ago
- Visualization of LLVM IR☆59Updated 11 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 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…☆103Updated 2 years ago
- Hardware-assisted Data-flow Isolation☆27Updated 7 years ago
- SUPA☆28Updated 5 years ago
- PARTS / LLVM compiler☆32Updated 5 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 7 years ago
- Stony Brook University CFI library☆21Updated 10 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- drawing graphs for llvm ir. data flow and control flow☆40Updated 7 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- MCFI/PICFI tool chain☆43Updated last year
- 简化版本llvm的stackprotector策略,将其包装成一个pass,对程序的stack进行保护☆14Updated 7 years ago
- minimal symbolic model checker & fuzzer☆112Updated 10 years ago
- Dynamic Program Slicing in LLVM Compiler☆138Updated 6 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 …☆56Updated 6 years ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- ☆55Updated 2 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated 11 months ago