LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semantics.
☆31Apr 30, 2024Updated last year
Alternatives and similar repositories for LLVM-Canon
Users that are interested in LLVM-Canon are comparing it to the libraries listed below
Sorting:
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆23Jan 5, 2026Updated 2 months ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Jun 19, 2022Updated 3 years ago
- The C4 Concurrent C Fuzzer☆14Nov 2, 2023Updated 2 years ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Mar 14, 2019Updated 6 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated 7 months ago
- A blog for LLVM(v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM.☆14Jun 17, 2022Updated 3 years ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆19Updated this week
- Interprocedural Basic Block Code Layout Optimization☆18Jan 17, 2019Updated 7 years ago
- ☆15Feb 27, 2019Updated 7 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Dec 12, 2014Updated 11 years ago
- LLVM Dialects Library☆23Feb 25, 2026Updated last week
- CI system for premerge-testing in LLVM project☆43Jun 5, 2025Updated 8 months ago
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- Collection of scripts used for building a complete, standalone Clang/LLVM-based toolchain. See: https://clang.llvm.org/docs/Toolchain.htm…☆19Jun 12, 2023Updated 2 years ago
- VSCode extension for the LLVM IR language☆60May 29, 2024Updated last year
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 4 months ago
- Library for manipulating gdb in batch mode☆21Mar 10, 2024Updated last year
- Synthesis of loop-free programs☆24Feb 23, 2026Updated last week
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated 9 months ago
- LLVM-based type and memory allocation tracking sanitizer☆56Feb 17, 2026Updated 2 weeks ago
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆22Feb 10, 2023Updated 3 years ago
- Efficient Path Profiling using LLVM☆18Oct 25, 2017Updated 8 years ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- ☆20Jan 20, 2022Updated 4 years ago
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆21Mar 15, 2023Updated 2 years ago
- Vine: The BitBlaze Static Analysis Component☆26Sep 27, 2014Updated 11 years ago
- SLOT: SMT-LLVM Optimizing Translation☆60Apr 17, 2025Updated 10 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated last month
- Big List of ABI Resources☆58Jul 3, 2024Updated last year
- ☆29Nov 29, 2025Updated 3 months ago
- Adds a layer on top of IDA Python to make it easier to write scripts☆29Updated this week
- Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).☆26Nov 29, 2022Updated 3 years ago
- Formally verified implementation of Alive in Lean☆41Jul 14, 2023Updated 2 years ago
- Dynamic runtime inlining with LLVM☆68Sep 20, 2021Updated 4 years ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- Staged Abstract Interpreters☆69Mar 13, 2023Updated 2 years ago
- Extracting high level semantic information from binary code☆67Jun 13, 2019Updated 6 years ago