Utilities for constructing a large dataset of LLVM IR
☆25Jun 2, 2025Updated last year
Alternatives and similar repositories for llvm-ir-dataset-utils
Users that are interested in llvm-ir-dataset-utils are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Mar 17, 2026Updated 7 months ago
- A tool for finding instruction-level equivalence between two functions.☆16Aug 26, 2025Updated last year
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆66May 20, 2025Updated last year
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆17Mar 2, 2026Updated 8 months ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆105Feb 11, 2026Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆51Aug 8, 2026Updated 2 months ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆21Dec 3, 2023Updated 2 years ago
- CloverLeaf, in many programming models☆10Oct 18, 2026Updated 2 weeks ago
- Bug detection framework for finding Finger tracable bugs in Linux☆21Mar 23, 2025Updated last year
- Framework to reverse engineer binaries and evaluate similarities across a large collections of files. Uses sector hashing and data flow …☆15May 23, 2023Updated 3 years ago
- Asking questions about DBLP☆10Feb 6, 2026Updated 8 months ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 3 years ago
- Execute instructions for Ghidra-supported processors using concrete or symbolic execution of Ghidra p-code☆25Oct 25, 2026Updated last week
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A library for basic matrix computation and analysis☆10Nov 17, 2017Updated 8 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 3 years ago
- Official repository for "CompilerDream: Learning a Compiler World Model for General Code Optimization" (KDD 2025), https://arxiv.org/abs/…☆13May 30, 2025Updated last year
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- ☆27Jan 30, 2026Updated 9 months ago
- Jahob Verification System☆13Mar 19, 2017Updated 9 years ago
- [𝗜𝗖𝗠𝗟 𝟮𝟬𝟮𝟲] Dispersion loss counteracts embedding condensation and improves generalization in small language models☆22May 21, 2026Updated 5 months ago
- Partial Redundancy Elimination Pass in LLVM☆15May 20, 2019Updated 7 years ago
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆29Jul 29, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- LLVM-based Static Analysis Framework☆43Updated this week
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆216Nov 22, 2024Updated last year
- ☆65Jan 8, 2026Updated 9 months ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆40Apr 3, 2020Updated 6 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 11 years ago
- Evolving fuzzers with large language models☆18Dec 14, 2023Updated 2 years ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆32Jul 9, 2023Updated 3 years ago
- [Usenix Sec'25] Tady: A Neural Disassembler without Structural Constraint Violations☆15Dec 23, 2025Updated 10 months ago
- Compiler-R1: Towards Agentic Compiler Auto-tuning with Reinforcement Learning☆37Jul 14, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆17Nov 14, 2023Updated 2 years ago
- TorchQL is a query language for Python-based machine learning models and datasets.☆12May 1, 2024Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆54Jul 13, 2024Updated 2 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆45Dec 29, 2024Updated last year
- ☆14Nov 7, 2025Updated 11 months ago
- Itoyori: A distributed multi-threading runtime system for global-view fork-join task parallelism☆23Feb 9, 2024Updated 2 years ago
- Binary Ninja plugin for reverse engineering PTX -- the virtual instruction set architecture of CUDA-based GPUs.☆65Mar 6, 2026Updated 7 months ago