MetaMut is a mutation operator generator to facilitate compiler fuzzing.
☆31Dec 29, 2024Updated last year
Alternatives and similar repositories for MetaMut
Users that are interested in MetaMut are comparing it to the libraries listed below
Sorting:
- A visualized debugging framework to aid in understanding the Linux kernel.☆212Dec 9, 2025Updated 2 months ago
- Bug detection framework for finding Finger tracable bugs in Linux☆20Mar 23, 2025Updated 11 months ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- ☆14Apr 4, 2024Updated last year
- A JIT compiler validator for JVMs via CSX/JoNM introduced in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆62Mar 9, 2025Updated 11 months ago
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated last year
- An LLM-based fuzzing framework for C compilers testing.☆22Dec 14, 2025Updated 2 months ago
- Program Synthesis☆15May 17, 2021Updated 4 years ago
- A framework for testing compilers' type checkers☆19Nov 15, 2024Updated last year
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- ☆28Nov 30, 2024Updated last year
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated 8 months ago
- Automated DNN generation for fuzz testing and more☆143Jan 14, 2025Updated last year
- AE-solver and Skolemizer☆17Dec 9, 2024Updated last year
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated last month
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 5 years ago
- ☆21Nov 10, 2019Updated 6 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated 11 months ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- A randomized program fuzzer for the Rust programming language☆64Jul 21, 2023Updated 2 years ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆32Nov 13, 2023Updated 2 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31May 10, 2023Updated 2 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆31Dec 9, 2023Updated 2 years ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months 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 11 months ago
- UB-aware interpreter for LLVM debugging☆44Feb 13, 2026Updated 2 weeks ago
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Dec 12, 2022Updated 3 years ago
- ☆36Aug 21, 2025Updated 6 months ago
- automatially find crashes in the rust compiler & tooling☆80Apr 15, 2024Updated last year
- ☆37May 15, 2022Updated 3 years ago
- My personal notes ✍️☆35Dec 20, 2023Updated 2 years ago
- ☆39Jan 24, 2026Updated last month
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆91May 12, 2022Updated 3 years ago
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- Linux integrity monitoring for CentOS/RHEL☆12May 13, 2020Updated 5 years ago
- A Grand Sumo prediction game☆10Updated this week
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆40May 17, 2023Updated 2 years ago