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] :

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 http://en.wikipedia.org/wiki/MISRA_C