A framework for testing compilers' type checkers
☆64Aug 2, 2024Updated last year
Alternatives and similar repositories for hephaestus
Users that are interested in hephaestus are comparing it to the libraries listed below
Sorting:
- A framework for testing compilers' type checkers☆19Nov 15, 2024Updated last year
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- 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
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated last month
- 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
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆46Jul 14, 2025Updated 7 months ago
- Verified, Incremental, Binary Editing with Synthesis☆55Mar 7, 2023Updated 2 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆30May 24, 2020Updated 5 years ago
- Incremental Build Verification☆17Apr 21, 2024Updated last year
- Fuzzing Parsers with Tokens☆33Jan 14, 2021Updated 5 years ago
- A bounded exhaustive testing tool☆22Jul 3, 2025Updated 8 months ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆71Mar 9, 2023Updated 2 years ago
- ☆37Aug 21, 2025Updated 6 months ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆23Jul 7, 2023Updated 2 years ago
- ☆53Apr 23, 2023Updated 2 years ago
- Hierarchical Delta Debugging Framework☆60Nov 23, 2025Updated 3 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆62May 16, 2025Updated 9 months ago
- Decompose source code into templates and fragments for any language.☆23Aug 29, 2022Updated 3 years ago
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- A randomized program fuzzer for the Rust programming language☆64Jul 21, 2023Updated 2 years ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆141Aug 18, 2022Updated 3 years ago
- Artifact for TOSEM Submission: GiantRepair☆13Jun 26, 2024Updated last year
- Parallel Self-Adjusting Computation☆15Jul 5, 2021Updated 4 years ago
- Code and data of the CCS '22 paper titled "Understanding Security Issues in the NFT Ecosystem"☆11Dec 20, 2022Updated 3 years ago
- ☆12Apr 1, 2025Updated 11 months ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Formally verified implementation of Alive in Lean☆41Jul 14, 2023Updated 2 years ago
- TRACER Symbolic Execution Tool☆28Jun 16, 2020Updated 5 years ago
- ☆13Dec 31, 2023Updated 2 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 11 months ago
- language-agnostic program reducer.☆202Dec 5, 2025Updated 2 months ago
- A fuzzing framework for finding transactional bugs in DBMSs☆53Jun 4, 2023Updated 2 years ago
- ☆26Sep 21, 2022Updated 3 years ago
- ☆12Mar 25, 2020Updated 5 years ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- LLVM meets Code Property Graphs☆96Feb 27, 2021Updated 5 years ago