Reify is a random program generator based on semantic reification. It generates C functions and programs free of undefined behaviors (UBs), making it suitable for testing C compilers and, potentially, other language virtual machines. Using Reify, 59 bugs have been discovered and reported in GCC and LLVM. Currently, Reify supports only i32, i32 arrays, and i32 structs. We are extending it to ...