You may have been looking for
integer undefined behavior checker
code size microbenchmark
Csmith home page
John's home page