Front-end for GCC's coverage testing tool gcov
