Вопрос предназначался для Reddit и YC, но решил на всякий случай разместить и здесь. Вдруг кто-то что-то подскажет.
Мне хочется написать статью, с названием наподобие "Как ошибки в коде Си++ отправились в гости в космос / на марс". Сейчас я поясню, что я имею в виду и почему пишу сюда, в надежде что сообщество сможет мне как-то помочь или дать подсказки.
Я работаю в компании, которая занимается созданием статического анализатора кода для поиска ошибок в Си/Си++ приложениях. С целью популяризации технологии статического анализа мы проверяем различные проекты и пишем про найденные ошибки. Разработчики с интересом читают наши статьи. Всегда интересно посмотреть, какие ошибки наделали разработчики из проекта X.
Надо понимать, что мы не хотим высмеять кого-то из разработчиков. Мы просто показываем, что опечатку может сделать кто угодно и что всегда неплохо подстраховаться. Мы на примерах показываем, как полезно использовать методологию статического анализа. Взглянуть на эти статьи можно по адресу:
www.viva64.com/ru/a/0084
Нам пишут люди, предлагая проверить тот или иной проект. В частности, наши читатели предложили попробовать проверить исходные коды James Webb Telescope или ещё лучше - Mars rover autonomous driving system.
И действительно, давайте взглянем на список, который ведёт Bjarne Stroustrup о крутых Си++ проектах:
www.stroustrup.com/applications.html
Оказывается, C++ побывал на марсе (ищите в списке по слову NASA). А ещё есть доклад CppCon 2014: Mark Maimone "C++ on Mars: Incorporating C++ into Mars Rover Flight Software":
https://youtu.be/3SdSKZFoUa8
В общем я и мои коллеги загорелись идей попробовать найти хотя бы парочку ошибок в таком интересном и надежном программном обеспечении, как программа для управления марсоходом. Впрочем, телексом не менее интересен.
Самое важное - как заполучить эти или аналогичные исходники. Возможно, от действующих аппаратов исходники нам никто не даст. Но вдруг можно получить исходные тексты предыдущих версий программ или от аппаратов, которые прекратили своё функционирование.
С этим я и обращаюсь к сообществу. Помогите и подскажите, с кем можно пообщаться на эту тему. Бессмысленно же просто писать письмо в NASA. А здесь, возможно, есть кто-то, кто имеет ко всему этому отношение или знает такого человека. Буду благодарен за информацию, контакты и любую помощь. Думаю, могут получиться интересные заметки. Комментарии можно оставлять здесь, или вы можете напрямую связаться с нами здесь:
www.viva64.com/ru/about-feedback 
Простой
