Semantic reification: how to generate UB-free code with arbitrary control flow?
program generationsemantic reificationC compilerstestingundefined behaviors
Author: zsu
Date: 6/3/2026
Article Summary:
Reify is a random program generator based on semantic reification, capable of generating C functions and programs free of undefined behaviors (UBs), making it suitable for testing C compilers and potentially other language virtual machines.