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 4 months ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆63May 20, 2025Updated last year
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆105Feb 11, 2026Updated 6 months ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated 5 months ago
- ☆50Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆56May 26, 2025Updated last year
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆21Dec 3, 2023Updated 2 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 2 years ago
- ☆25Jan 30, 2026Updated 6 months ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆32Jul 9, 2023Updated 3 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
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- LLVM-based Static Analysis Framework☆38Updated this week
- 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.
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- A tool for finding instruction-level equivalence between two functions.☆16Aug 26, 2025Updated 11 months ago
- ☆14Nov 7, 2025Updated 9 months ago
- Program synthesis class taught by Loris D'Antoni☆40Oct 5, 2025Updated 10 months ago
- ☆15Nov 14, 2023Updated 2 years ago
- The main codex repository☆27Feb 3, 2026Updated 6 months ago
- Sound static analysis and LLM reasoning, in one security agent☆16Jul 23, 2026Updated 3 weeks ago
- Ghidra Sleight (PCode) parsing library in Rust.☆45Dec 29, 2024Updated last year
- ☆15Jun 10, 2025Updated last year
- 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.
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- ☆19Mar 25, 2025Updated last year
- Binary Ninja plugin for reverse engineering PTX -- the virtual instruction set architecture of CUDA-based GPUs.☆62Mar 6, 2026Updated 5 months ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- Linq-like functions for Java Arraylist☆23Aug 1, 2019Updated 7 years ago
- Camera Ready copy of FuzzSlice v1 code for ICSE☆20Jan 22, 2024Updated 2 years ago
- Static Binary Analysis Framework☆48Updated this week
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- ☆17Mar 29, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code of our paper "Method-Level Bug Severity Prediction using Source Code Metrics and LLMs" which is accepted to ISSRE 2023.☆10Nov 12, 2023Updated 2 years ago
- ☆17Jan 5, 2022Updated 4 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆31Apr 30, 2024Updated 2 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Jan 4, 2015Updated 11 years ago
- ☆21Jan 1, 2023Updated 3 years ago
- Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.☆793Jul 31, 2026Updated 2 weeks ago
- CoDER Project: Preprocessing Image Using Brightening, CLAHE and Retinex☆12May 3, 2020Updated 6 years ago