The OpenNET Project / Index page

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



"Уязвимость в ядре Linux, позволяющая вызвать крах через отпр..."
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Доступны два режима работы форума: "Раскрыть нити" и "Свернуть нити".
. "Уязвимость в ядре Linux, позволяющая вызвать крах через отпр..." +/
Сообщение от Аноним84701 (ok), 03-Май-19, 20:01 
> то, что Линус и LF не осилят писать 100,000,000 (или миллиард) строк
> матана для верификации применимого в реальности микроядра

100500 же!
Зачем для микроядра миллиард строк верификации (микро, как бы, намекает) и чем нереальны проекты
ДАРПЫ с Боингом
http://ts.data61.csiro.au/projects/TS/SMACCM/
или тот же CubeSat
https://research.csiro.au/tsblog/securing-outer-space-sel4/
Да и на пишке его вроде как запускали:
https://research.csiro.au/tsblog/sel4-raspberry-pi-3/

ЗЫ:
совсем забыл:
https://mirrors.edge.kernel.org/pub/linux/kernel/Historic/li... (новое кодовое имя "Unreal" ;) )


tokei linux-0.01

-------------------------------------------------------------------------------
Language            Files        Lines         Code     Comments       Blanks
-------------------------------------------------------------------------------
Assembly                7         1464         1356            0          108
C                      45         5929         4975          400          554
C Header               31         2484         1987          204          293
Makefile                5          362          293           24           45
-------------------------------------------------------------------------------
Total                  88        10239         8611          628         1000


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

Оглавление
Уязвимость в ядре Linux, позволяющая вызвать крах через отпр..., opennews, 03-Май-19, 09:31  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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