Модераторы: Daevaorn
  

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> Где найти исходные коды 
:(
    Опции темы
Thunderbolt
Дата 17.7.2015, 12:04 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


DevRel
*


Профиль
Группа: Участник
Сообщений: 122
Регистрация: 7.11.2007
Где: Тула

Репутация: 10
Всего: 16



Текст предназначался для Reddit и YC, но решил на всякий случай разместить и здесь. Вдруг кто-то что-то подскажет.

Мне хочется написать статью, с названием наподобие "Как ошибки в коде Си++ отправились в гости в космос / на марс". Сейчас я поясню, что я имею в виду и почему пишу сюда, в надежде что сообщество сможет мне как-то помочь или дать подсказки.

Я работаю в компании, которая занимается созданием статического анализатора кода для поиска ошибок в Си/Си++ приложениях. С целью популяризации технологии статического анализа мы проверяем различные проекты и пишем про найденные ошибки. Разработчики с интересом читают наши статьи. Всегда интересно посмотреть, какие ошибки наделали разработчики из проекта X.

Надо понимать, что мы не хотим высмеять кого-то из разработчиков. Мы просто показываем, что опечатку может сделать кто угодно и что всегда неплохо подстраховаться. Мы на примерах показываем, как полезно использовать методологию статического анализа. Взглянуть на эти статьи можно по адресу: http://www.viva64.com/ru/a/0084/

Нам пишут люди, предлагая проверить тот или иной проект. В частности, наши читатели предложили попробовать проверить исходные коды James Webb Telescope или ещё лучше - Mars rover autonomous driving system.

И действительно, давайте взглянем на список, который ведёт Bjarne Stroustrup о крутых Си++ проектах: http://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. А здесь, возможно, есть кто-то, кто имеет ко всему этому отношение или знает такого человека. Буду благодарен за информацию, контакты и любую помощь. Думаю, могут получиться интересные заметки. Комментарии можно оставлять здесь, или вы можете напрямую связаться с нами здесь: http://www.viva64.com/ru/about-feedback/

P.S. Про github.com/nasa я знаю. Но там нет ничего интересного на Си/Си++.

--------------------
Карпов Андрей, DevRel в PVS-Studio.
PM MAIL WWW   Вверх
TarasProger
Дата 5.8.2015, 20:01 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Шустрый
*


Профиль
Группа: Участник
Сообщений: 104
Регистрация: 5.8.2015

Репутация: нет
Всего: нет



Исходник не покажу, а саму очепятку опишу. Две соседние буквы набираются в обратном порядке. Но все случаи давно пофиксены, а в каких именно идентификаторах она была, я не помню, поэтому показать не могу.

Это сообщение отредактировал(а) TarasProger - 5.8.2015, 20:02
PM MAIL   Вверх
  
Ответ в темуСоздание новой темы Создание опроса
Правила форума "С++:Общие вопросы"
Earnest Daevaorn

Добро пожаловать!

  • Черновик стандарта C++ (за октябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика(4.4мб).
  • Черновик стандарта C (за сентябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика (3.4мб).
  • Прежде чем задать вопрос, прочтите это и/или это!
  • Здесь хранится весь мировой запас ссылок на документы, связанные с C++ :)
  • Не брезгуйте пользоваться тегами [code=cpp][/code].
  • Пожалуйста, не просите написать за вас программы в этом разделе - для этого существует "Центр Помощи".
  • C++ FAQ

Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Earnest Daevaorn

 
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | C/C++: Общие вопросы | Следующая тема »


 




[ Время генерации скрипта: 0.0639 ]   [ Использовано запросов: 21 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.