compiler-testing

Variation of american fuzzy lop for testing compilers

metatrace is a C++ Compile Time, Whitted Style Ray Tracer, utilizing classic C++98/03 style metaprogramming. All the Ray Tracing is done during compilation.

Effect-Driven Compiler Tester for OCaml

SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)

Differential fuzzer for quantum compilers. Found the CommutativeCancellation soundness bug fixed in Qiskit 2.5.1.

The Berkeley Lab Flang team develops tests for the LLVM-Project Flang Fortran compiler. Because of the paramount importance of parallelism in high-performance computing, we are focusing on Fortran’s parallel features, commonly denoted "Coarray Fortran."

Sui Move Fuzzer: 884 move-specific MetaMut-style mutations, harness, dicts, utilities

Small test project to analyse RISC-V bitmanip extension

Cross-platform Benchmarking Tool with Integrated System Metrics

Project Euler solutions in Flow, used as a compiler test suite. Expressive syntax, C-speed binaries.

A project aiming to provide Java 11-compatible annotation processors for an array of different code-generation facilities.

C++ language code generator, for creating XML test cases.

Fuzzing framework for sparse tensor compilers — first open-source implementation of TENSURE (NDSS Fuzzing Workshop 2026). Finds crashes and silent miscompilations via constraint-based einsum generation and metamorphic testing.

C language code generator, for creating compiler test cases.

Runs Triton kernels from their IR on the CPU and checks every launch (races, out-of-bounds, per-pass validation). Found silent torch.compile miscompiles without a GPU.

EMI-based Validation of Commercial Cyber-Physical System Development Tool Chains (e.g. MATLAB/Simulink)

Systematic hunt for memory-safety defects in the Nitpick compiler: an exhaustive grid of owning types × places × operations, run at -O0 and -O2, with a recall gate that must re-find every known defect first.

Grammar-based, type-aware fuzzer for the Oberon-07 language