The OpenNET Project / Index page

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



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

Оглавление

Google представил проект Open Se Cura для создания защищённых программно-аппаратных систем, opennews (??), 07-Ноя-23, (0) [смотреть все]

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


167. "Google представил проект Open Se Cura для создания защищённы..."  +/
Сообщение от фнон (?), 08-Ноя-23, 22:37 
Потому что
1. seL4 верифицирована и настолько маленькая что. тысячи глаз могут ее просмотреть
2. в ней используются ну очень строгие параметры компиляции
   - Code should compile without warnings, with -Wall.
   - When using integral types (char, int, long, etc.), qualify them explicitly as unsigned except where negative values are meaningful and must be handled.
   - запрещены ++x и --y
   - используют automatic formatting of C code
Просто сравни это с распространеными опенсорс проектами.

И второе "потому что":
лицензия этого ядра позволяет использовать для "всего что не в нем" нормальные пермиссивные. И писать на любом языке который можно с Си соединить.
А это немаловажный плюс - твой код не заражается раковой ГПЛей.

И третье, последнее но немаловажное:
ГНУтики поработали - чего их трудом не воспользоваться)

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

172. "Google представил проект Open Se Cura для создания защищённы..."  +/
Сообщение от Вы забыли заполнить поле Name (?), 08-Ноя-23, 23:12 
> 2. в ней используются ну очень строгие параметры компиляции
>    - Code should compile without warnings, with -Wall.

За отсутствие -Wall стреляют в упор.

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

183. "Google представил проект Open Se Cura для создания защищённы..."  +/
Сообщение от mos87 (ok), 09-Ноя-23, 07:32 
и что тут принципиально инновационного? и чего нельзя при должном желании сделать и не "в ней"?
Ответить | Правка | К родителю #167 | Наверх | Cообщить модератору

188. "Google представил проект Open Se Cura для создания защищённы..."  +/
Сообщение от фнон (?), 09-Ноя-23, 11:12 
инновационного? то что они таки смогли это сделать))
а ни у кого другого "должного желания" не оказалось
вам ничего не мешает потратить пару сотен тысяч баксов на верификацию
Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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