- What tools do they use for error checking/linting?
- Well... why C? If correctness is so important... surely there are better languages than C - not only better type systems, but also theorem proving and other fancy modern features. It doesn't even have to be garbage collected.
- at the very least are they using language extensions? even gcc primitves would help!