The OpenNET Project / Index page

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



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

Оглавление

Фреймворк для написания защищённых драйверов для ядра Linux ..., opennews (?), 01-Сен-19, (0) [смотреть все]

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


58. "Фреймворк для написания защищённых драйверов для ядра Linux ..."  –2 +/
Сообщение от Аноним (58), 01-Сен-19, 12:46 
Если вся разница только в статическом анализаторе, то (сюрприз!) для C они тоже есть.
Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

63. "Фреймворк для написания защищённых драйверов для ядра Linux ..."  +/
Сообщение от red75prim (?), 01-Сен-19, 13:01 
Сюрприз! Теорема Райса. Если язык не разработан для того, чтобы обеспечивать, скажем, отсутсвие висящих указателей, то статический анализатор сможет отловить только какие-то частные случаи, или отловить всё, но при этом выдавать и false positives.
Ответить | Правка | Наверх | Cообщить модератору

72. "Фреймворк для написания защищённых драйверов для ядра Linux ..."  –8 +/
Сообщение от Аноним (28), 01-Сен-19, 14:01 
> Сюрприз! Теорема Райса.

Сюрприз! Это теорема из _теории_ алгоритмов. То есть это теория, а не истина. Слышал о теории большого взрыва? Часть физиков её принимает, часть физиков нет. Понимаешь? Каждые N столетий те или иные теории могут подвергнуться опровержению. Таким образом мы не можем в споре аппелировать к теореме Райса, как к конечной истине. Это всего лишь одна из _интерпретаций_ рельности. В рамках своей интерпретации ты прав абсолютно! В рамках теории Большого взрыва ты прав абсолютно! Но в рамках теории космологической модели эволюции крупномасштабных структур ты неправ. Так как же ты можешь быть неправ в рамках неевклидовой геометрии.

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

84. Скрыто модератором  +/
Сообщение от Аноним84701 (ok), 01-Сен-19, 14:38 
Ответить | Правка | Наверх | Cообщить модератору

89. Скрыто модератором  –1 +/
Сообщение от Anonymoustus (ok), 01-Сен-19, 14:47 
Ответить | Правка | Наверх | Cообщить модератору

91. Скрыто модератором  –4 +/
Сообщение от nox. (?), 01-Сен-19, 14:54 
Ответить | Правка | К родителю #84 | Наверх | Cообщить модератору

95. Скрыто модератором  +/
Сообщение от Аноним84701 (ok), 01-Сен-19, 15:09 
Ответить | Правка | Наверх | Cообщить модератору

92. Скрыто модератором  +/
Сообщение от nox. (?), 01-Сен-19, 14:59 
Ответить | Правка | К родителю #84 | Наверх | Cообщить модератору

98. Скрыто модератором  +/
Сообщение от Аноним84701 (ok), 01-Сен-19, 15:11 
Ответить | Правка | Наверх | Cообщить модератору

112. Скрыто модератором  –3 +/
Сообщение от Аноним (28), 01-Сен-19, 16:05 
Ответить | Правка | Наверх | Cообщить модератору

113. Скрыто модератором  +/
Сообщение от лол (?), 01-Сен-19, 16:14 
Ответить | Правка | Наверх | Cообщить модератору

115. Скрыто модератором  +/
Сообщение от Аноним (28), 01-Сен-19, 16:27 
Ответить | Правка | Наверх | Cообщить модератору

121. Скрыто модератором  +1 +/
Сообщение от кек (?), 01-Сен-19, 16:43 
Ответить | Правка | Наверх | Cообщить модератору

117. Скрыто модератором  +/
Сообщение от Аноним84701 (ok), 01-Сен-19, 16:30 
Ответить | Правка | К родителю #112 | Наверх | Cообщить модератору

109. Скрыто модератором  –3 +/
Сообщение от Аноним (-), 01-Сен-19, 15:56 
Ответить | Правка | К родителю #84 | Наверх | Cообщить модератору

102. "Фреймворк для написания защищённых драйверов для ядра Linux ..."  +/
Сообщение от Илья (??), 01-Сен-19, 15:28 
> false positives.

Не знаю как вам, а мне "ложные срабатывания" гораздо понятнее, чем "false positives."

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

228. "Фреймворк для написания защищённых драйверов для ядра Linux ..."  +/
Сообщение от Илья (??), 03-Сен-19, 01:20 
> false positives.

Справедливости ради стоит сказать, что раст тоже зачастую вполне валидный код не пропускает.

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

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

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




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

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