MetaMut is a mutation operator generator to facilitate compiler fuzzing.
☆33Dec 29, 2024Updated last year
Alternatives and similar repositories for MetaMut
Users that are interested in MetaMut are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆24Mar 26, 2025Updated last year
- Agentic Harness for the LLVM Compiler☆38Aug 2, 2026Updated 2 months ago
- A visualized debugging framework to aid in understanding the Linux kernel.☆266Jun 13, 2026Updated 3 months ago
- ☆16Mar 17, 2026Updated 6 months ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- 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.
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated 2 years ago
- ☆13Apr 4, 2024Updated 2 years ago
- JIT compiler validation for JVMs via CSX(SOSP'23)☆63Mar 9, 2025Updated last year
- Random program generation based on semantic reification (PLDI'26)☆25Updated this week
- An LLM-based fuzzing framework for C compilers testing.☆25Dec 14, 2025Updated 9 months ago
- Rust bindings to LLVM's `SanitizerCoverage` interface☆16Sep 16, 2022Updated 4 years ago
- AE-solver and Skolemizer☆18Jul 12, 2026Updated 2 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆87Aug 5, 2025Updated last year
- This repository contains code for the paper "Learning Decision Trees as Amortized Structure Inference"☆16Mar 25, 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.
- Program Synthesis☆13May 17, 2021Updated 5 years ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Mar 11, 2025Updated last year
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Sep 25, 2026Updated 2 weeks ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- UB-aware interpreter for LLVM debugging☆50Aug 26, 2026Updated last month
- ☆14Nov 11, 2019Updated 6 years ago
- Benchmark for evaluating LLM agents on smart-contract vulnerability discovery and exploitation☆57May 19, 2026Updated 4 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 4 years ago
- Automated Benchmarking of LLM Agents on Real-World Software Security Tasks [NeurIPS 2025]☆99Jan 27, 2026Updated 8 months ago
- ☆15Jun 10, 2025Updated last year
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆189Oct 26, 2025Updated 11 months ago
- CodexLeaks: Privacy Leaks from Code Generation Language Models in GitHub Copilot☆11Jul 11, 2023Updated 3 years ago
- Code for PII detection and redaction in code datasets☆17Jan 24, 2023Updated 3 years ago
- Fast and Precise On-the-fly Patch Validation for All☆10Feb 24, 2023Updated 3 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39May 17, 2023Updated 3 years ago
- Automated DNN generation for fuzz testing and more☆151Jan 14, 2025Updated last year
- 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 fuzzing framework for finding transactional bugs in DBMSs☆56Jun 4, 2023Updated 3 years ago
- JAX interpreter for Vulkan☆16Jun 1, 2021Updated 5 years ago
- writeup of some ctf challs☆11Apr 20, 2025Updated last year
- Embedded-friendly crypto a la SMACCM☆13Aug 11, 2017Updated 9 years ago
- ICML'20: SIGUA: Forgetting May Make Learning with Noisy Labels More Robust☆17Dec 14, 2020Updated 5 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆22Oct 2, 2026Updated last week
- ☆10Mar 2, 2024Updated 2 years ago