You may have been looking for
Integer undefined behavior checker
Csmith home page
C-Reduce home page
John's home page