The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Проблема проверки тождественности исходных текстов и бинарны..., opennews (?), 21-Июн-13, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


7. "Проблема проверки тождественности исходных текстов и бинарны..."  +12 +/
Сообщение от Xasd (ok), 21-Июн-13, 23:28 
> непонятно, почему свободные лицензии должны включать предлагаемое требование, если его невыполнение ни одну из свобод не нарушают

вот эти свободы:
[quote]
        0. Свобода запускать программу в любых целях (свобода 0).
        1. Свобода изучения работы программы и адаптация её к вашим нуждам (свобода 1). Доступ к исходным текстам является необходимым условием.
        2. Свобода распространять копии, так что вы можете помочь вашему товарищу (свобода 2).
        3. Свобода улучшать программу и публиковать ваши улучшения, так что всё общество выиграет от этого (свобода 3). Доступ к исходным текстам является необходимым условием.
[/quote]

если нам дают не те исходные коды которые должны давать -- то по сути НЕ нарушается лишь нулевая свобода :-) ..

а если мы НЕ можем проверить какие исходные коды нам дают (те или не те) -- то с чего это мы должны подумать что в том или ином случае -- нет нарушений свободы?

Ответить | Правка | Наверх | Cообщить модератору

45. "Проблема проверки тождественности исходных текстов и бинарны..."  +/
Сообщение от Аноним (-), 22-Июн-13, 05:17 
Непредоставление информации о сборочном окружении никаких свобод не нарушает. А это не то же самое, что и распространение бинарной сборки без соответствующих ей исходных текстов. Разницу видишь? Твои личные подозрения сборщика автоматически виновным в нарушении этих свобод не делает.
Ответить | Правка | Наверх | Cообщить модератору

49. "Проблема проверки тождественности исходных текстов и бинарны..."  +3 +/
Сообщение от Анн (?), 22-Июн-13, 07:49 
Как ты можешь быть уверен, что бинарная сборка собрана из предоставленных тебе текстов?
Ответить | Правка | Наверх | Cообщить модератору

182. "Проблема проверки тождественности исходных текстов и бинарны..."  +/
Сообщение от Аноним (-), 23-Июн-13, 13:45 
> Как ты можешь быть уверен, что бинарная сборка собрана из предоставленных тебе
> текстов?

А почему это должно его волновать? Если не доверяет - соберет сам из исходников. Вот если поведение собранного окажется отличным от предоставленных бинарников, то это уже повод задуматься об аутентичности исходников.

Ответить | Правка | Наверх | Cообщить модератору

187. "Проблема проверки тождественности исходных текстов и бинарны..."  +/
Сообщение от Антоним (?), 23-Июн-13, 15:42 
отличное поведение, будет падать по-разному
Ответить | Правка | Наверх | Cообщить модератору

274. "Проблема проверки тождественности исходных текстов и бинарны..."  +/
Сообщение от Aleks Revoemail (ok), 29-Июн-13, 02:10 
Как проверить отличие в поведении, если оно проявляется лишь при определённых погодных условиях на Марсе и только если пришёл сформированный специальным образом файл данных с Венеры? ))
Ответить | Правка | К родителю #182 | Наверх | Cообщить модератору

51. "Проблема проверки тождественности исходных текстов и бинарны..."  +7 +/
Сообщение от Аноним (-), 22-Июн-13, 08:32 
0. разве у них нет пакетов с исходниками?
1. предположим ситуацию: в государстве A, являющимся стратегическим противником гос-ва B, варганят дистры, активно используемые гос-вом B в информационной промышленности, ядрёной энергетике и производстве памперсов. Очевидно, что однажды в офис компании-творца придёт дядя из минобороны гос-ва A, и скажет:
- Не изволите ли, господа любезные, вшпандорить в детище ваше некий бэкдор? Ибо функционал сей позволит нам на противника B из тыла его его же глазами зрить да ситуацию стратегическую пуще разуметь.
Очевидно также, что условия таких предложений обычно не позволяют от них отказываться. Гуантанама у них большая.
Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

52. "Проблема проверки тождественности исходных текстов и бинарны..."  +/
Сообщение от Аноним (-), 22-Июн-13, 08:40 
Пардон. Пока писал - забыл, про чё писал.
Так вот: бэкдор не должен быть заметен. Потому его код распространять не будут. А вот ежели его в сборку вставить - найти будет гораздо сложнее. (Правда, если найдут - шумиху подымут и дистром пользоваться перестанут.)
Ответить | Правка | Наверх | Cообщить модератору

164. "Проблема проверки тождественности исходных текстов и бинарны..."  +/
Сообщение от Аноним (-), 23-Июн-13, 01:50 
Бэкдор и в исходник можно засунуть так, что его не найдут, даже если специально искать будут.
Ответить | Правка | Наверх | Cообщить модератору

175. "Проблема проверки тождественности исходных текстов и бинарны..."  +/
Сообщение от Xasd (ok), 23-Июн-13, 12:17 
> Бэкдор и в исходник можно засунуть так, что его не найдут, даже
> если специально искать будут.

но наверное всё-такие всем очевидно -- что если бекдор НЕ засовывать в исходник -- то найти его будет во много раз сложнее, чем если засовывать?

(или кому-то не очевидно?)

в случае когда бекдоры делаются с имитацией человеческой ошибки ---- и в случае нахождения такого бекдора внутри исходного кода -- отмазка: "ой, простите это я программировал 2 дня подрят и опечатался, пропустил дополнительную проверку".

а в случае когда точно такой же бекдор делается, но изменённый исходный код НЕ публикуется ---- отмазка на много весомее: "ой, простите похоже компилятор допустил ошибку при компилировании в режиме оптимизации". (и эти слова придётся говорить на много реже.. а может быть никогда :))

Ответить | Правка | Наверх | Cообщить модератору

198. "Проблема проверки тождественности исходных текстов и бинарны..."  +/
Сообщение от Аноним (-), 23-Июн-13, 18:04 
>> Бэкдор и в исходник можно засунуть так, что его не найдут, даже
> но наверное всё-такие всем очевидно -- что если бекдор НЕ засовывать в
> исходник -- то найти его будет во много раз сложнее, чем
> если засовывать?

Если код большой и сложный - вероятности примерно одинаковые (нулевые).

> а в случае когда точно такой же бекдор делается, но изменённый исходный
> код НЕ публикуется ---- отмазка на много весомее: "ой, простите похоже
> компилятор допустил ошибку при компилировании в режиме оптимизации". (и эти слова
> придётся говорить на много реже.. а может быть никогда :))

См. недавнюю новость про релиз gzip.

Ответить | Правка | Наверх | Cообщить модератору

263. "зависит от стиля написания исходников..."  +/
Сообщение от AZ_from_Belarus (ok), 28-Июн-13, 00:48 
А вот это очень сильно зависит от стиля написания исходного кода и включенных комментариев.
Корректные или дружелюбные или открытые исходники пишутся так, чтобы максимально облегчить скорость понимания того, как работает код.
"Недружелюбный" исходник - сразу будет бросаться в глаза.
Ну и еще можно говорить о степени дружелюбности или недружелюбности языка и среды разработки. Например исходник (конфигурации некоего срока от некоей справочной даты начинались случайным образом в счета вписию) 1С - весьма недружелюбны и без дополнительной проектной документации воспринимаются и анализируются с большими затруднениями. Как-то довелось видеть вредоносную закладку, которая очень хорошо видна, но понять ее смысл - было нелегко. А там всего лишь по истеченываться неверно посчитанные и довольно существенные скидки клиентам. Так человечек из ИТ-отдела заложил месть на случай внезапной потери работы. Пока работал регулярно исправлял нужную дату. Когда ушел, через пару месяцев начались гадкие проблемы.
А вообще-то, самым трудным было доказать то, что это было сделано конкретным человеком.
Ответить | Правка | К родителю #164 | Наверх | Cообщить модератору

264. "зависит от стиля написания исходников..."  +/
Сообщение от arisu (ok), 28-Июн-13, 00:50 
> А вообще-то, самым трудным было доказать то, что это было сделано конкретным
> человеком.

инжой ё один асс. version control systems? не, не слышали, не надо.

Ответить | Правка | Наверх | Cообщить модератору

265. "зависит от стиля написания исходников..."  +/
Сообщение от AZ_from_Belarus (ok), 28-Июн-13, 01:18 
> инжой ё один асс. version control systems? не, не слышали, не надо.

Не... не надо.
Подобные задачки решаются не техническими методами, а оперативно-следственными. Технические приемы - не более чем подспорье сокращающее время и объем оперативно-следственных работ.

Ответить | Правка | Наверх | Cообщить модератору

266. "зависит от стиля написания исходников..."  +/
Сообщение от arisu (ok), 28-Июн-13, 03:09 
есть мнение, что VCS применяют не только для того, чтобы при случае выяснить, кто виноват. хотя оно и с этим неплохо справляется… если, конечно, контора не шаражка, где в том числе и на админах экономят.
Ответить | Правка | Наверх | Cообщить модератору

267. "зависит от стиля написания исходников..."  +/
Сообщение от AZ_from_Belarus (ok), 28-Июн-13, 11:51 
> есть мнение, что VCS применяют не только для того, чтобы при случае
> выяснить, кто виноват. хотя оно и с этим неплохо справляется… если,
> конечно, контора не шаражка, где в том числе и на админах
> экономят.

Всё это очень хорошо (вцс и т.п.). Но бывают веселые нюансы. Представьте себе:
1.Изменения внесенные за год-другой до проявления проблем, причем сделанные в рамках официальной заявки по прикручиванию/исправлению той или мелкой функцинальности. И подобных измнений за этот период было несколько десятков.
2. Опционально. Не в этом случае, но в других местах так бывает. Изменения готовятся и отлаживаются где-то в папках разработчиков, которые время от времени вычищаются и списываются с рабочего сервера. А на в рабочий сервер изменения вносятся руководителем отдела (или сисадмином), который перед этим эти изменения как-то проверил и... ничего подозрительного не заметил. Часто ли встречаются сисадмины, которые могут не просто просмотреть, допустим, новые тригеры к БД, но и в полной мере осознать последствия их работы в контексте бизнес-логики реализуемой в этой самой БД?
3. После выявления участка, на котором происходит неприятная хрень, остаются вопросы - появилась ли такая особенность его работы как случайно пропущенный глюк, кто именно обеспечил появление на этом участке этого "глюка", если "глюк" был злоумышленным, то были ли соучастники и т.п.
И вот по последним вопросам ВЦС дает возможность лишь строить предположения и добавить несколько дополнительных версий.
Самое занятное, что подобные ситуации особенно трудно разрешимы в случае когда ИТ ифраструктура обслуживается целой толпой ИТ-отдела в котором введена специализация. В шарашке, в которой пара-тройка человек работают в режиме "и швец и жнец" все оказывается проще. Почему так? Был когда-то нашумевший случай с незаконной (ибо закон запрещал) эвтаназией, которую спроектировал безнадежный больной пользующийся услугами множества ухаживающих за ним людей. Он использовал этих людей "в темную" - каждый выполнял внешне безобидное действие, которые в своей последовательности привели к введению больному смертельного лекарства. В ходе следствия оказалось, что совершено убийство (в контексте существовавшего законодательства) группой людей из которых никому не получается предъявить обвинение в участии в убийстве.

Подытожу. В сложных развиваемых системах возможно появление на уровне самих исходников фрагментов, которые в своей совокупности могут помимо основного исполнять некие НЕОЧЕВИДНЫЕ вредоносные функции. Причем установить мотивацию всех создателей этих фрагментов и автора вредоносной функции - затруднительно. По большому счету большинство баг-репортов - подходят под это описание, но лишь некоторые разбираются как злоумышленные. Вспомните-ка шутливый дуализм - "это баг или это фича?". Идеальные преступления - это те, которые никто не подумал даже объявить преступлениями.

Ответить | Правка | Наверх | Cообщить модератору

269. "зависит от стиля написания исходников..."  +/
Сообщение от arisu (ok), 28-Июн-13, 13:49 
> Всё это очень хорошо (вцс и т.п.). Но бывают веселые нюансы. Представьте
> себе:

1. ну и что? история куда-то делась, что ли? если да — то виноват однозначно системный администратор.
2. а что, при слиянии бранча разработчика с основной веткой информация о первоначальном авторстве теряется? тогда это говно, а не система управления исходниками. иначе — code reviewer виноват лишь в том, что прошляпил, но фигню запилил однозначно автор.
3. изначально вопрос был в том, «кто запилил». кто запилил — ясно. а дальше можно раскручивать запилившего, а можно просто на него всех собак повесить.

впрочем, вся беседа сворачивает в странное русло. получается нечто вроде: «дактилоскопия не позволяет установить мотивы, поэтому дактилоскопия бесполезна.»

Ответить | Правка | Наверх | Cообщить модератору

270. "зависит от стиля написания исходников..."  +/
Сообщение от AZ_from_Belarus (ok), 28-Июн-13, 15:00 
> впрочем, вся беседа сворачивает в странное русло. получается нечто вроде: «дактилоскопия
> не позволяет установить мотивы, поэтому дактилоскопия бесполезна.»

Не всегда удается пострелять из пушек по воробьям, даже если хочется.
Если говорить про дактилоскопию, то дактилоскопия не устанавливает и не доказывает факт преступления. Она может быть лишь одним из аргументов в цепочке доказательств, а вот создать эту цепочку дактилоскопия не в состоянии.
Теперь по поводу "а можно просто на него всех собак повесить". Очень часто для руководства предприятием крайне важно точно установить кто виноват, а кто не виноват. Иногда даже лучше вообще сделать вид, что ничего не произошло, чем поднять шум, и не раскопать ситуацию до конца. Это в корпорации под названием государство кто-то может практиковать правило - "мужиков бабы еще нарожают" и "незаменимых не бывают". Для предприятий размерами поскромнее и не имеющих возможность тупо у кого-то отобрать то, чего не хватает, приходится оценивать такие скучные вещи как, например, стоимость замены человека со всеми прямыми и косвенными потерями, изменения в мотивациях других сотрудников при том или ином разрешении инцидента и т.п.
С точки зрения того, как должна строиться система близкая к идеальной - Вы правы и я ваше мнение не оспариваю. И для нормальных предприятий основной деятельностью которых являются ИТ-разработки это является нормой. Но вот в жизни других предприятий и организаций по множеству весьма объективных обстоятельств многое строится с некоторыми отклонениями. Пример объективных обстоятельств - поглощение одного предприятия другим, в то время когда у них ИТ-инфраструктура выстроена на весьма различных принципах. В такой ситуации затевается какой-то проект перехода, изминений, которые... растягиваются во времени, в этапах, ... потом обрастают дополнениями и т.д. А все это время предприятие продолжает жить и работать - с тем, что имеется.
Но тут мы, действительно, сильно стали уклоняться от изначальной темы разговора.

Ответить | Правка | Наверх | Cообщить модератору

271. "зависит от стиля написания исходников..."  +/
Сообщение от arisu (ok), 28-Июн-13, 15:09 
> Если говорить про дактилоскопию, то дактилоскопия не устанавливает и не доказывает факт
> преступления. Она может быть лишь одним из аргументов в цепочке доказательств,
> а вот создать эту цепочку дактилоскопия не в состоянии.

точно то же можно сказать и про VCS. натурально, у VCS есть и основные функции, помимо такой опциональной.

> Теперь по поводу «а можно просто на него всех собак повесить». Очень
> часто для руководства предприятием крайне важно точно установить кто виноват, а
> кто не виноват.

я всего лишь привёл это как один из способов псевдорешения проблемы.

> Но вот в жизни других предприятий и организаций по множеству весьма
> объективных обстоятельств многое строится с некоторыми отклонениями.

и зря.

> поглощение одного предприятия другим, в то время когда у
> них ИТ-инфраструктура выстроена на весьма различных принципах. В такой ситуации затевается
> какой-то проект перехода, изминений, которые… растягиваются во времени, в этапах, …
> потом обрастают дополнениями и т.д. А все это время предприятие продолжает
> жить и работать — с тем, что имеется.

прямой путь к бардаку. впрочем, эмпирические наблюдения показывают, что чем больше предприятие — тем больший там бардак.

Ответить | Правка | К родителю #270 | Наверх | Cообщить модератору

228. "Проблема проверки тождественности исходных текстов и бинарны..."  +/
Сообщение от Аноним (-), 24-Июн-13, 08:06 
Вижу, что одно без другого сводит на нет предоставление исходного кода. И бинарник не достоин доверия.
Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

153. "Проблема проверки тождественности исходных текстов и бинарны..."  +2 +/
Сообщение от XoRe (ok), 22-Июн-13, 23:11 
> а если мы НЕ можем проверить какие исходные коды нам дают (те
> или не те) -- то с чего это мы должны подумать
> что в том или ином случае -- нет нарушений свободы?

Иш, мейнтейнеры пройдохи, тратят свои ресурсы, собирают пакеты, указывают зависимости, подписывают подписями, выкладывают в репозитории, дают все это скачивать, работают с баг репортами, но не предоставляют полной информации о сборочном окружении.
И как им теперь верить?
Обмануть нас хотели - однозначно нарушение свобод!

> если нам дают не те исходные коды которые должны давать -- то
> по сути НЕ нарушается лишь нулевая свобода :-) ..

Сомневаетесь? Не верьте.
Компилируйте из предоставленных исходников.
Тогда у вас будет твердая уверенность, что бинарник соответствует исходнику.
И не надо разводить паранойю.

Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

171. "Проблема проверки тождественности исходных текстов и бинарны..."  +/
Сообщение от Xasd (ok), 23-Июн-13, 12:08 
> Сомневаетесь? Не верьте.

у тебя что -- мир монохромно-чёрнобелый ?

либо 100% сомниваться, либо 100% верить? других вариантов быть не может?

может быть я верю на 99%, а сомниваюсь на 1% ...

> Компилируйте из предоставленных исходников.
> Тогда у вас будет твердая уверенность, что бинарник соответствует исходнику.

это ответ в стиле "если не нравится как я делаю -- значит делай сам."

однако если подумать хорошо головой -- то я НЕ говорю о том что мне <это> якобы не нравится, а я говорю о том что я не могу быть уверенным в том нравится ли мне <это> или нет :-) .. разницу чувствуете?

то что я могу сам компилировать -- это я понимаю... но тем не менее -- проблема в том -- КАКИМ ОБРАЗОМ мне можно проверить подлинность ЧУЖОГО бинарника (ЧУЖОГО это значит КОМПИЛИРОВАЛ ЕГО НЕ Я -- это дополнительное пояснение для тех кто вдруг опять захочет мне посоветовать компилировать самому для себя).

более того -- я дополню что иметь возможность проверки -- не обозначает проверять постоянно. может быть првоерять есть необходимость -- не более чем 1 раз из 50 :-) а может и то реже :-) :-) ..

а может быть -- бинарник выглядет более доверяемым, когда не только ментейнер говорит "мамый кланусь, не внэдрял бэкдоров во время компэляции! зачэм обэжаиш, да?", но и когда это подтверждают ещё и 10 других независимых исследователей :-) .., при чём подтверждат более оснвательно чем словами "мэйнтэйнэр, это наш братухэ, он как и мы -- мы ыз одного плэмэни обэзъян.. я обэъяна, ты обэзъяна, мы НЫ когда бэкдоры нэ вныдряем во врэмя компэляции!"

> И не надо разводить паранойю.

а это и не параноя. это уже описанный факт. который изложил выше даже и не я.

Ответить | Правка | Наверх | Cообщить модератору

272. "Проблема проверки тождественности исходных текстов и бинарны..."  +/
Сообщение от XoRe (ok), 28-Июн-13, 23:01 
> может быть я верю на 99%, а сомниваюсь на 1% ...

Ну тогда чего думать изза 1% :)

> говорит "мамый кланусь, не внэдрял бэкдоров во время компэляции! зачэм обэжаиш,
> да?
",

Кстати, на этом принципе основана безопасность SSL сертификатов.
Diginotar тоже мамой клялся:)

Ответить | Правка | Наверх | Cообщить модератору

273. "Проблема проверки тождественности исходных текстов и..."  +/
Сообщение от arisu (ok), 28-Июн-13, 23:07 
> Кстати, на этом принципе основана безопасность SSL сертификатов.
> Diginotar тоже мамой клялся:)

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

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру