dtcxzyw / llvm-opt-benchmarkLinks
An LLVM IR dataset for data-driven compiler optimization research
☆47Updated this week
Alternatives and similar repositories for llvm-opt-benchmark
Users that are interested in llvm-opt-benchmark are comparing it to the libraries listed below
Sorting:
- UB-aware interpreter for LLVM debugging☆29Updated last week
- DebugIR: Debugging LLVM-IR Files☆138Updated 6 months ago
- A translation validation framework for MLIR☆87Updated 3 months ago
- ☆52Updated 2 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
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 4 months ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆13Updated this week
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆54Updated 3 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆156Updated 2 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated last year
- NOELLE Offers Empowering LLVM Extensions☆76Updated 2 months ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆165Updated 4 years ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 5 years ago
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆28Updated 6 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆60Updated last month
- Public-facing course info for program analysis materials.☆41Updated 6 months ago
- An awesome list of e-graph resources☆183Updated last month
- ☆191Updated this week
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 3 months ago
- A step-by-step tutorial for building an LLVM sample pass☆216Updated 5 years ago
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆79Updated this week
- Lists of must-read papers (mainly security papers)☆30Updated 9 months ago
- Code examples for tutoring modern C++☆96Updated 3 weeks ago
- ☆34Updated 7 months ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 5 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆142Updated 4 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 3 years ago