I wouldn't be supplied if they used MISRA [1]. It can be enforced just using static analysis too, and IIRC it's good enough for avionics used elsewhere.

[1] : http://en.wikipedia.org/wiki/MISRA_C