C and C++ mock generator for saftey critical software (mimicc.dev)

[dead]

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