Do you think they audit line by line every piece of SW in a safety critical ECU? Because if yes, I have a bridge to sell you. They do many many things to insure the SW works, but there are a bunch of corners in the SW very few people poke at.

And anyways, merely auditing I serious doubt would be effective. (LGTM, ship it!)