John Regehr

60 artisanal compiler crashes

regehr

static analysis benchmarks from Toyota ITC

regehr

Many functions in C for sorting the nibbles in an 8-byte word

regehr

llvm opt fuzzer and bounded exhaustive test generator

regehr

outline and links for PLDI 2022 tutorial

regehr

code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896

regehr

collection of C/C++ programs that try to get compilers to exploit undefined behavior

regehr