Csmith, a random generator of C programs