ПО, ЭВМ и АСУ из Таможенного Союза

Информация о пользователе

Привет, Гость! Войдите или зарегистрируйтесь.


Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » GNU/Linux » Проверка исходных текстов Linux и OpenSource


Проверка исходных текстов Linux и OpenSource

Сообщений 1 страница 26 из 26

1

Современная наука неспособна найти все уязвимости в Linux.

А уязвимости в полностью русской системе с русскими буквами будут находиться автоматически? Вам не приходило в голову, что в сложных системах абсолютное тестирование невозможно из-за ограничения доступных ресурсов тестеров. И если великий и могучий Мелкософт не может баги в Винде отследить, то никакая кучка русских разработчиков с бюджетом, состоящим исключительно из энтузиазма сделать такое не в состоянии :).

Сидят офицеры стран НАТО и закладывают всё новые и новые уязвимости по всему стеку технологий.

У Вас есть какие-то доказательства или это Ваши личные фантазии на фоне обострения паранойи?

Но если контора работает официально в США, то она обязана соблюдать патриотический акт и вставлять закладки.

Линукс затестирован намного больше чем коммерческие системы, потому что имеет исходные коды в свободном доступе. Это не значит, что он чист, но уже выверен получше остальных это точно.

Даже если не должна, то нужно разобраться, а в какой стране живёт руководство постгрес, отвечающее за репозиторий.

И если они не живут в Иране, Сев. Корее, респ. Чад и России, то следует отказаться от таких программ, верно?

Так вот, заложить мину в код нелегко. Но зная уровень сапёрной науки, это вполне по силам государству, владеющему мировым господством и стремящимся его сохранить. Или государству, которое стремится к мировому господству. Причём первое государство начало закладывать свои мины ещё в 90-х, и даже эти мины по сей день ещё не все разминированы.

:sceptic:

Минное поле в физическом мире - плоское, а программы представляют из себя складчатый флексагон или там, скажем, лёгочные альвеолы. Пойди обойди все лёгочные альвеолы.

Программы сканируют и по формальным признакам, не только в лоб. Например, сажают на виртуалку и отслеживают все адреса, куда шлются данные, а также проводят анализ самих данных. Так, например, отключают все телеметрию на вин10, просто замыкая все доменные имена на 127.0.0.0 :). Мне кажется Вы слишком примитивно представляете тестирование и поиск уязвимостей в системах.

- не использовать язык Си, а использовать более надёжные языки.

Об этом известно ещё с момента создания С++ (который тоже уязвим).

выходить из линукса

Куда?

- не использовать оптимизирующие компиляторы (будет работать медленнее, но такова плата за надёжность)

????

- не использовать скриптовые языки

????

- ограничить сложность программ, чтобы улучшить их постижимость

Собственно вся эволюция языков программирования направлена на это :).

даже в протоколах должны быть закладки - POSIX-у точно место на помойке

???? Протокол это описание, книжка, грубо говоря. Какая там может быть уязвимость :) ? Реализация протокола в системе, да, согласен. Но здесь? Уровень страха просто зашкаливает.

A2 почти идеально подходит по всем пунктам в качестве прототипа.

Да-да, я уже писал про это. Зашел на офсайт и не смог скачать виртуальный образ. Конечно идеально. Мне кажется Ваш пиар А2 излишне восторженен.

Швейцария только недавно разминировала тоннели под перевалами (если не врут).

Хоспади, что с Вами :)?

У каждой нормальной швейцарской семьи есть огнестрельное оружие и запас еды на несколько месяцев. Так что не стоит пренебрегать.

А ещё они любят, по слухам, различные сексуальные извращения :). Так что теперь, руку им пожимать не стоит?

Потом его нужно будет переписать начисто силами лояльных России людей. Только так и никак иначе.

Желательно, чтобы эти люди работали бесплатно и носили робы с номерками. Вообще бы бомба была, да :)?
А как же гордость за страну? Зачем переписывать? Опять из Фиата будем делать Жигули и говорить, что мы молодцы, сами машину создали? Создавайте русский компилятор и пишите систему с нуля, чего мелочиться-то? Я ожидал от Вас большего масштаба личности, а Вы...

Отредактировано utkin (2019-07-10 10:50:20)

0

2

utkin написал(а):

паранойи

как будто это что-то плохое

utkin написал(а):

Мне кажется Ваш пиар А2 излишне восторженен.

согласен, seL4 круче

Но всё равно буду базироваться на линуксе, потому что так учат в школе

utkin написал(а):

Создавайте русский компилятор и пишите систему с нуля, чего мелочиться-то?

Уткин, наконец-то ты понял мой план!

Отредактировано Лис (2019-07-10 10:56:01)

0

3

как будто это что-то плохое

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

0

4

Это не значит, что он чист, но уже выверен получше остальных это точно.

Слова, за которые никто не будет нести ответственности. И там прямо тоже написано.

У каждой нормальной швейцарской семьи есть огнестрельное оружие и запас еды на несколько месяцев.

По статистике граждане Швейцарии разоружаются. По запасам еды надо прямо брать пример.

Отредактировано MihalNik (2019-07-10 13:42:55)

0

5

Слова, за которые никто не будет нести ответственности. И там прямо тоже написано.

В любом случае, провести проверку Линукса Вы можете сами. Нанимайте тестеров и понеслась. Проверку государственной разработки Вы провести не сможете. Будден говорит там закладки. Зная наше государство, я могу со 100процентной уверенностью говорить, что в нашей системе закладки будут обязательно. И то что миллионы личных данных российских граждан (которые утекли именно из государственных структур) есть в Интернете - это все легко гуглится. Все наши половые гиганты, типа Сбербанка или почты России раскидываются данными о Вас так, что никакой закладки не требуется :). Поэтому ругаться на то, что чужой корабль не покрашен, когда у самих воду из лодки вычерпывать не успеваем.... ну, как минимум, странновато.

0

6

провести проверку Линукса Вы можете сами

Это же неправда.

0

7

MihalNik написал(а):

Это же неправда.

Смысл пропаганды не в правде, а в частоте повторения лозунга. Уткина вроде недавно разбанили? Предлагаю забанить обратно.

Отредактировано БудДен (2019-07-10 15:39:41)

0

8

БудДен написал(а):

Смысл пропаганды не в правде, а в частоте повторения лозунга. Уткина вроде недавно разбанили? Предлагаю забанить обратно.

Он же быстренько перелетит в другие края нашей Родины! :D Тогда придется обвинить Лиса, что он нам всего Уткина распугал.

Отредактировано MihalNik (2019-07-10 16:02:09)

0

9

Это же неправда.

Почему? Читайте исходники, кто Вам мешает?

Смысл пропаганды не в правде, а в частоте повторения лозунга.

Первый шаг к излечению это понимание пациентом того, что он болен.

0

10

utkin написал(а):

кто Вам мешает?

Объём этих исходников мешает, Уткин.

0

11

Вот и сейчас - второй раз прокалывается Ваша легенда.

Это Ваши проблемы. Нанимайте людей. Государство может себе позволить выполнить такую работу, если использует линуксы в оборонном секторе. Может? Может. Следовательно, открытость системы является гарантией от явных злонамеренных закладок. Я понимаю, что в РФ слово репутация не имеет никакой смысловой нагрузки. Но в остальном мире оно все же имеет смысл.

0

12

Государство может себе позволить выполнить такую работу, если использует линуксы в оборонном секторе. Может? Может. Следовательно, открытость системы является гарантией от явных злонамеренных закладок.

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

Это Ваши проблемы

Это проблемы заведомой недоказуемости слов Уткина. Такова была сама формулировка.

Нанимайте людей.

Это не имеет никакого отношения к доказательствам. Нанимайте сами.

в РФ слово репутация не имеет никакой смысловой нагрузки

В научном мире - тем более.

Отредактировано MihalNik (2019-07-10 21:00:57)

0

13

Во-первых, не является, во-вторых они бывают не только злонамеренными, но и по глупости. И эти, последние, самые дорогие.

От глупостей никто не застрахован. Гарантия опять же репутация команды. Многие дистрибутивы имеют под собой коммерческую жилку (техподдержка например) и потеря репутации гарантирует крах команды и бизнеса.

Это проблемы заведомой недоказуемости слов Уткина.

Ну пупец. Линуксы плохие - там есть закладки. Но это же можно проверить! Нет, нельзя, просто они плохие.

Это не имеет никакого отношения к доказательствам.

Опять начались ребусы и шарады. Лис же написал проблему, я ответил.

0

14

и потеря репутации гарантирует крах команды и бизнеса.

Тысячи команд рушатся и теряют бизнес.

Но это же можно проверить!.

Правильно сказать - слишком сложная задача, решение для которой общественности неизвестно.

Отредактировано MihalNik (2019-07-10 21:05:57)

0

15

Правильно сказать - слишком сложная задача, решение для которой общественности неизвестно.

Но разрешимая :)

0

16

utkin написал(а):

Но разрешимая

Современная наука, учитывающая физику, этого не знает.
Чем плохо предположение Уткина? Тем что оно подобно обещанию удвоения им числа зерен на каждой следующей клетке шахматной доски.

Отредактировано MihalNik (2019-07-10 21:52:38)

0

17

Современная наука, учитывающая физику, этого не знает.

А причем тут физика? Берете исходники, сажаете хакеров, раздаете по исходнику (или по функциям) и понеслась. Чего тут не знать-то? Прямо вот магия какая-то? Кто может провести анализ исходного кода? Только человек. Есть конечно автоматы, которые там могут подсказать, но нет лучшего сканера, чем человек.

Чем плохо предположение Уткина? Тем что оно подобно обещанию удвоения им числа зерен на каждой следующей клетке шахматной доски.

Ничем оно не плохо. Это технический вопрос. И государству оно по силам, если бы оно не фигней страдало, а делом занималось. По крайней мере в ИТ сфере.

0

18

А причем тут физика?

При том, что ПО работает в физическом мире. А хакеры - это не математические операторы, которые любой может взять и приложить.

Отредактировано MihalNik (2019-07-11 09:19:07)

0

19

При том, что ПО работает в физическом мире.

Алгоритм это абстрактная категория. Если Вы знаете алгоритм функции, что она делает, то нет необходимости запускать функцию на исполнение. Если Вы видите, что функция выводит на экран строку (и больше ничего), то она безопасна. Нет необходимости запускать функцию, чтобы проверить это.

0

20

вот так, походя, Уткин заявил о решении проблемы останова - https://ru.wikipedia.org/wiki/Проблема_остановки

ранее в 1936 году
Алан Тьюринг доказал, что проблема остановки неразрешима на машине Тьюринга.

Таким образом, существование бога доказано, причём бог в каждом из людей

0

21

Таких узких мест в реальных алгоритмах единицы. В закладках такие вещи вообще нонсенс. Закладка рассчитана на определенные действия и в 99% случаев это передача данных на сторону. Не нужно высасывать проблему из пальца. Есть такая вещь, называется эвристика. Или она в РФ не применима? Зачем перебирать в лоб?

Отредактировано utkin (2019-07-11 10:16:49)

0

22

utkin написал(а):

Если Вы видите, что функция выводит на экран строку (и больше ничего), то она безопасна. Нет необходимости запускать функцию, чтобы проверить это.

В Си вывод строки небезопасен там аж целых 3 уязвимости. Поэтому Си++ придумали потоковый вывод.

0

23

Вам не приходило в голову, что в сложных системах абсолютное тестирование невозможно из-за ограничения доступных ресурсов тестеров.
...
В любом случае, провести проверку Линукса Вы можете сами.

Вот что называется «переобуваться на лету». Птицам такое легко доступно.

0

24

Вообще то есть одна фирма, название не помню. Так вот она даёт скрипт и этим скриптов Вы можете проверить Линукс в одиночку. Суть в том что тест этот модульный и он подтягивает модули с gitlab из разных репозитариев.  За каждым репозитарием стоит отдельный человек не связанный с фирмой. Поэтому претензий к фирме Вы не предъявите. А поддерживать миф что отдельный человек может проверить Линукс выгодно.
И это гораздо качественее, чем то что предлагают год.конторы.

0

25

Павиа написал(а):

Вообще то есть одна фирма, название не помню

Российская или зарубежная? Эта - https://ru.wikipedia.org/wiki/PVS-Studio ?

0

26

Вот что называется «переобуваться на лету». Птицам такое легко доступно.

Лечитесь. Вы вместо ответов, уже скатились в прямые оскорбления :). Если Вам нечего сказать, молчите :). Если есть что по существу, давайте обсудим. Если хотите накидать навоза на вентилятор, добро пожаловать в личку. Какие  комплексы мешают Вам нормально общаться на форуме?

В Си вывод строки небезопасен там аж целых 3 уязвимости. Поэтому Си++ придумали потоковый вывод.

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

А поддерживать миф что отдельный человек может проверить Линукс выгодно.

Я говорил не об одном конкретном человеке, а о технической возможности проверки Линукса. И технически это возможно - нанимайте людей, пусть делают вычитку, пусть анализируют трафик, какие проблемы-то?
В конце концов: https://losst.ru/luchshie-skanery-uyazv … dlya-linux
Конечно это не гарантия :).

0


Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » GNU/Linux » Проверка исходных текстов Linux и OpenSource