Of course, we never mean to mock at project authors. We just show that no one is safe from making a typo and it won’t hurt if one takes some precautions against it. By means of real-life examples, we show how useful the static analysis methodology is. The list of our articles can be found here: http://www.viva64.com/en/a/0084/
People often suggest various projects for analysis. In particular, some of our readers have suggested trying to analyze the source codes of the James Webb Space Telescope or, even better, Mars rover autonomous driving system.
Indeed, let’s take a look at the list of cool C++ projects composed by Bjarne Stroustrup: http://www.stroustrup.com/applications.html
It turns out that C++ has already travelled to Mars (search through the list for the NASA keyword). And there is also a lecture CppCon 2014: Mark Maimone "C++ on Mars: Incorporating C++ into Mars Rover Flight Software" available on this topic: https://youtu.be/3SdSKZFoUa8
So we have grown highly enthusiastic about the idea of analyzing such interesting and safe software system as Mars rover flight software and probably finding at least a couple of bugs there. Well, the telescope is as interesting, too.
The hardest thing is how and where to get these source files, or at least their analogues. I guess no one will give us the source codes for the working spacecraft. But what if we could get the source codes of the older software versions or for spacecraft no longer in use?
This is why I am addressing the community. If anyone happens to know, please tell us whom we can contact to discuss this question. It won’t make any sense simply writing an email to NASA, will it? And there may be someone in this community who is directly involved in this area or knows someone who is. I will appreciate any information, contacts, and help you can offer. I’m sure it could bring us some interesting materials if it worked out. You can leave your comments right here or contact us at the following link: http://www.viva64.com/en/about-feedback/
P.S. I know about github.com/nasa. But there is nothing interesting in C/C++.