Tag
The article explores fuzzing techniques, including LLM-based and structure-aware fuzzing, to find bugs in the Gleam compiler, which compiles to both JavaScript and Erlang with static types.
Reify is an open-source random C program generator based on semantic reification that produces undefined-behavior-free code for compiler testing. It has already uncovered 59 bugs in GCC and LLVM, plus additional bugs in OpenJ9 and Linux's eBPF runtime.