Re: Yes, they could be that dump
I've worked (NB: on hardware, NOT in the SW group) for a firm that, among other things, has written flight control software. It's tightly regulated to prevent vulnerabilities, and requires a really horrendous* effort to verify. See http://www.adacore.com/gnatpro-safety-critical/avionics/do178b//
*Except when verification catches something.