sampsyo / llvm-pass-skeletonLinks
example LLVM pass
☆585Updated 2 months ago
Alternatives and similar repositories for llvm-pass-skeleton
Users that are interested in llvm-pass-skeleton are comparing it to the libraries listed below
Sorting:
- A step-by-step tutorial for building an LLVM sample pass☆217Updated 5 years ago
- A wrapper script to build whole-program LLVM bitcode files☆711Updated 5 months ago
- Yet Another Random Program Generator☆511Updated 3 weeks ago
- This repository contains a tutorial for a quick start in how to write a register allocator using LLVM☆273Updated 6 years ago
- A LLVM-based static analysis framework.☆987Updated this week
- llvm-mctoll☆849Updated 11 months ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆271Updated 3 years ago
- LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries, published by Packt☆185Updated 2 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆221Updated 5 years ago
- ☆372Updated this week
- UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools☆1,193Updated 6 years ago
- Automatic verification of LLVM optimizations☆911Updated 3 weeks ago
- Csmith, a random generator of C programs☆1,083Updated last year
- Whole Program LLVM: wllvm ported to go☆316Updated last year
- Binary Translator to LLVM IR☆219Updated 2 years ago
- ☆185Updated this week
- Learn LLVM 12, published by Packt☆486Updated last year
- An easy guide to Clang Static Analyzer extension.☆142Updated 5 years ago
- an architecture-independent decompiler to LLVM IR☆394Updated 9 years ago
- SymCC: efficient compiler-based symbolic execution☆814Updated 3 weeks ago
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆420Updated last month
- A collection of out-of-tree LLVM passes for teaching and learning☆3,192Updated last month
- SeaHorn Verification Framework☆451Updated last week
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆505Updated 2 weeks ago
- CSCD70 Compiler Optimization☆253Updated 2 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated 11 months ago
- Project moved to: https://github.com/llvm/llvm-project☆292Updated 5 years ago
- Library for lifting machine code to LLVM bitcode☆1,406Updated last week
- A low-overhead dynamic binary instrumentation and modification tool for ARM (both AArch32 and AArch64 support) and RISC-V (RV64GC).☆341Updated 4 months ago
- A new (MLIR based) high-level IR for clang.☆499Updated this week