C and C++ mock generator for saftey critical software

I don't know how much "critical", because as far as know, it involves only hardware and assembly code validation.