I am also interested in what ESA is using... I have used VectorCAST to generate MC/DC coverage reports for C programs. The interface is a pain to deal with and it crashed regularly, but it did the job.
I'd also love to hear what tools the ESA is using for unit testing, test coverage, etc. in C. But for small C projects at least, I've found the CuTest framework to work well:
