On: What computer and software is used by the Falcon 9? (2015)

[AndreyKarpov]

> The flight software is written in C/C++

I wish we could check the source code using the PVS-Studio analyzer to see what we can find out there :). It would be more interesting than these standard articles on project checks.