How to check interesting source codes related to astronautics? Is there anything open?

Question

Programming

The question was intended for Reddit and YC, but decided to post here just in case. Suddenly someone will tell you something.
I want to write an article with a title like "How bugs in C++ code went to visit space / mars". Now I will explain what I mean and why I am writing here, in the hope that the community can somehow help me or give me hints.
I work for a company that develops a static code analyzer to find errors in C/C++ applications. In order to popularize the technology of static analysis, we check various projects and write about the bugs found. Developers read our articles with interest. It's always interesting to see what mistakes the developers of Project X have made.
We must understand that we do not want to make fun of any of the developers. We're just showing that anyone can make a typo and that it's always a good idea to play it safe. We use examples to show how useful it is to use the static analysis methodology. You can take a look at these articles at: www.viva64.com/ru/a/0084
People write to us, offering to check this or that project. In particular, our readers suggested trying to check the source codes of the James Webb Telescope, or even better - Mars rover autonomous driving system.
Indeed, let's take a look at Bjarne Stroustrup's list of cool C++ projects: www.stroustrup.com/applications.html
It turns out that C++ has been to Mars (look for NASA in the list). There is also a CppCon 2014 report: Mark Maimone "C++ on Mars: Incorporating C++ into Mars Rover Flight Software": https://youtu.be/3SdSKZFoUa8
In general, my colleagues and I got excited about trying to find at least a couple of errors in such an interesting and reliable software, like a program to control the rover. However, telex is no less interesting.
The most important thing is how to get these or similar sources. Perhaps no one will give us the source code from the existing devices. But suddenly you can get the source texts of previous versions of programs or from devices that have ceased to function.
With this, I turn to the community. Help and tell me who you can talk to about this topic. It makes no sense to just write a letter to NASA. And here, perhaps, there is someone who is related to all this or knows such a person. I will be grateful for information, contacts and any help. I think there might be interesting notes. Comments can be left here, or you can contact us directly here: www.viva64.com/en/about-feedback

Answer 1

https://github.com/nasa _

Answer 2

With this, I turn to the community.

I would be happy if there were developers from us, but the probability is extremely small
. On reddit, the probability is
higher
.

Answer 3

Choose: ti.arc.nasa.gov/opensource/projects