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

Microsoft открыл CHERIoT, аппаратное решение для повышения безопасности кода на языке Си, opennews (??), 01-Мрт-23, (0) [смотреть все] Ну зачем аппаратный огород городить когда уже Rust есть , Аноним (1), 10:12 , 01-Мрт-23, (1) –17 // Именно чтобы не писать на раст И это правильно , Аноним (5), 10:18 , 01-Мрт-23, (5) +34 // Звучит инфантильно , Товарисч (?), 12:34 , 01-Мрт-23, (51) +2 а почему тебе Rust не нравится 577 577 577 , YM2608 (?), 14:18 , 01-Мрт-23, (81) –1 // Скрыто модератором, Аноним (-), 20:06 , 01-Мрт-23, (159) +1 а почему раст должен кому-то нравиться , Аноним (173), 21:14 , 01-Мрт-23, (173) +1 А почему лично мне он обязательно должен нравиться , Аноним (235), 13:37 , 02-Мрт-23, (235) так я не спрошивал, почему он должен тебе нравиться, а спросил почему он не нрав, YM2608 (?), 15:46 , 02-Мрт-23, (247) Скрыто модератором, Аноним (-), 20:03 , 01-Мрт-23, (158) –1 А читаем мы по диагонали Проблема может быть решена использованием языков про, pda (ok), 10:22 , 01-Мрт-23, (8) +9 // У меня потерялся Фрактал Никто его не видел , Odalist (?), 22:30 , 02-Мрт-23, (282) И много таких решений Вам известно Java, да , Глашатый (?), 11:00 , 05-Мрт-23, (317) Где скачать Rust под Cortex-M0 , Проффесор (?), 10:24 , 01-Мрт-23, (9) // Чтоб устроить праздник унсафе По каким дням праздновать будем , Аноним (-), 10:30 , 01-Мрт-23, (13) Опять в гугле забанили, уже 5 лет как есть https github com rust-embedded cort, НяшМяш (ok), 11:01 , 01-Мрт-23, (25) +7 // А ты точно внимательно прочитал то, на что попытался ответить , Аноним (173), 21:17 , 01-Мрт-23, (174) тут есть всего лишь две проблемы 1 rust для ARM ничего не сможет собрать без GC, Аноним (220), 10:39 , 02-Мрт-23, (220) –1 если тебе такой раст, чтобы код кросскомпилять - то на https www rust-lang org, Советский инженер (?), 11:04 , 01-Мрт-23, (28) –1 // Да вообще какой-нибудь tcc на жирном кортексе так то реально подалуй , Аноним (335), 10:16 , 08-Мрт-23, (335) Где скачать rust под avr , Аноним (131), 17:57 , 01-Мрт-23, (131) // детали тут https book avr-rust com 001-introduction htmlКак я понял, идёт в ко, topin89 (ok), 19:58 , 01-Мрт-23, (157) я тебя огорчу Based on components for the Arduino UnoNeeds AVR-GCC on the sys, Аноним (220), 09:57 , 02-Мрт-23, (217) –1 А тебе шашечки или ехать Писать на расте можно Можно А линковка на любых платф, topin89 (ok), 14:42 , 02-Мрт-23, (243) И что тут преступного Придумать концепцию, подходящий синтаксис, внедрить хуки , Аноним (265), 20:32 , 02-Мрт-23, (265) Проблемы и приватности и тивоизации Как на устройстве запускать и свои сервисы р, Аноним (16), 10:39 , 01-Мрт-23, (16) // Очень просто - пользоваться специализированным устройством для работы с деньгами, YetAnotherOnanym (ok), 12:14 , 01-Мрт-23, (44) // Предлагаешь бумагу что ли таскать с собой по карманам , Аноним (101), 16:09 , 01-Мрт-23, (101) Невелика тяжесть Ь, YetAnotherOnanym (ok), 21:46 , 01-Мрт-23, (183) Был бы предмет таскания, а карманы уж найдутся , Аноним (235), 13:40 , 02-Мрт-23, (236) Вам-то - да Но они-то мыслят через банкомат ты много не продашь книг, кино, му, A (?), 21:42 , 01-Мрт-23, (180) Да просто экономят Банкомат требует техобслуживания, инкассаторская служба тоже, YetAnotherOnanym (ok), 21:49 , 01-Мрт-23, (184) когда были онлайновые магазины с CD программ, кино и музыки было ответственней, , 2student (?), 16:32 , 13-Мрт-23, (345) Тут антимаркетинговые факторы начинают работать Дождь, вечер, лень, очередь, не, Аноним (265), 19:45 , 02-Мрт-23, (260) Полный сброс контекста, чтобы даже ОС не была задействована в это время Всё сос, kusb (?), 20:12 , 01-Мрт-23, (162) // Вот и изобретают - как именно не давать , A (?), 21:43 , 01-Мрт-23, (181) Дальше известно как Ищет бинарники и модифицирует их добавлением своей копии , Аноним (235), 13:52 , 02-Мрт-23, (238) Контейнеры, виртуальные машины, контрольные группы, разделение пространства имен, Аноним (265), 20:39 , 02-Мрт-23, (266) // И для обработки 1 Мб уже не хватает десятков Гб , Neon (??), 22:42 , 02-Мрт-23, (285) +1 Там же сказали, для использования существующей кодовой базы без переписывания, и, _kp (ok), 10:52 , 01-Мрт-23, (24) // Адепты раста не упускают возможности попиариться Своего кода крохи Натолкну, ЗанудаВФорточке (?), 19:33 , 02-Мрт-23, (255) Чтобы раст прорекламировать Мелкософт главный наравне с гуглом зачинщиков рас, Аноним (31), 11:32 , 01-Мрт-23, (31) // Штат понабрали с улицы и торопят, поэтому надо предохранятся , Аноним (265), 19:41 , 02-Мрт-23, (259) Похоже, даже Мелкомягких Хруст не устраивает , Аноним (46), 12:23 , 01-Мрт-23, (46) –3 // Хруст их очень устраивает Их не устраивает переписывать миллиарды строк кода _с, Аноним (177), 21:29 , 01-Мрт-23, (177) +1 // Ты в своем праве отправиться курить бамбук и не пользоваться сишным софтом Може, Аноним (-), 02:12 , 02-Мрт-23, (195) Конечно, по своей воле я Rust не выберу, ибо есть более красивые альтернативы , Аноним (224), 11:48 , 02-Мрт-23, (224) +1 Так этот аппаратный огород отлично работает в паре с Rust фича strict_provenanc, warlock66613 (ok), 13:24 , 01-Мрт-23, (64) +1 Microsoft открыл CHERIoT, аппаратное решение для повышения б..., anonymous (??), 15:38 , 01-Мрт-23, (93) Мне, с моим отсутствующим мозгом, кажется что проверка каждого обращения к памят, Аноним (120), 16:44 , 01-Мрт-23, (120) +1 // Есть же тестовые и отладочные сборки Эту среду можно рассматривать и как средств, _kp (ok), 21:16 , 02-Мрт-23, (269) Как Вы представляете себе Rust, например, для CH32V003 , ptr (??), 16:59 , 01-Мрт-23, (123) –1 // Там вроде RISC-V Как я понял, поддержка на ранней стадии, но в планах точно ест, topin89 (ok), 20:10 , 01-Мрт-23, (161) // Поддержку то можно наваять Но когда у тебя только 2К оперативки, даже если подд, ptr (??), 14:18 , 06-Мрт-23, (321) А это что за зверь Клон GD32 с RISCV ядром и прочим обвесом как у STM32 , Аноним (-), 02:11 , 02-Мрт-23, (194) // http www wch-ic com products categories 47 html pid 5, Аноним (224), 12:09 , 02-Мрт-23, (226) Похоже на RISCV с обвесом как у STM32 Но, кажется, все ж не классическим F103, Аноним (335), 10:19 , 08-Мрт-23, (336) ну я так понимпю, тут и на си не сахар или мимикрия апи под stm32 с надеждой, ч, Аноним Ваноним (?), 10:26 , 02-Мрт-23, (219) +1 Он так то тоже далеко не все в рантайме проверять может - некоторые проверки не , Аноним (-), 02:17 , 02-Мрт-23, (197) Топик для Аудита тестирования кода на Си и плюсах Причем тут раст Если удаст, Аноним (265), 19:39 , 02-Мрт-23, (257) Решение прямо как из песенки Ключик золотой В ж себе вставь Покрути нем, Кровосток (ok), 10:13 , 01-Мрт-23, (2) +16 Настоящий сишник меняет аппаратуру под себя Диктует свои правила , Аноним (3), 10:14 , 01-Мрт-23, (3) +47 // такой же настоящий, как и автолюбитель, который меняет машину когда пепельница п, Советский инженер (?), 11:16 , 01-Мрт-23, (30) –1 // Нет, как автолюбитель, который ставит карбоновое антикрыло на багажник и дыряв, YetAnotherOnanym (ok), 12:03 , 01-Мрт-23, (42) –1 Если посмотреть на то как изменилось современное железо эээ вообще-то да, , Аноним (-), 20:59 , 01-Мрт-23, (169) +1 // Главный прогиб под C - это RISC-V, где нет флагов Соответственно весь тот геморо, Nope (?), 13:11 , 02-Мрт-23, (229) +3 // Уже объясняли о вреде этих флагов на переупорядочивание выполнения команд , Аноним (235), 13:21 , 02-Мрт-23, (230) +1 Стоит уточнить, что мешают не флаги, а только когда эти флаги общие и или помеще, непох2 (?), 14:43 , 02-Мрт-23, (244) +3 Это ваши фантазии или это где-то так сделано , Вечно недовольный аноним (?), 15:31 , 02-Мрт-23, (246) +2 Если это нигде не сделано - это не значит, что не нужно Реализация этих флагов , x3who (?), 19:03 , 02-Мрт-23, (251) Штеуд сделал это 10 лет назад в таком виде https en wikipedia org wiki Intel_A, аффтар (?), 12:53 , 03-Мрт-23, (297) Ты сам-то эту страницу читал Где там написано про бред анона с кэри оверфлоу фл, Аноним (307), 09:13 , 04-Мрт-23, (307) –1 Кэри и оверфлоу флаги явно проверять - это лишние команды Т е нафиг надо, скор, Аноним (-), 08:43 , 08-Мрт-23, (331) Ну и много ли хотя бы в 32х битном коде на ассемблере работы с флагами вне опер, _kp (ok), 21:29 , 02-Мрт-23, (272) Как уже многократно было сказано RISC-V ISA исходно проектировалась для low-end, аффтар (?), 12:49 , 03-Мрт-23, (296) +1 Для high-end cpu мы никогда не видим их систему команд и нам так то похрен И дл, Аноним (-), 08:47 , 08-Мрт-23, (332) Не стоит повторять пересказывать чужие пояснения, не понимая их сути и или конте, аффтар (?), 23:43 , 08-Мрт-23, (341) Не стоит считать себя умнее других, особенно не зная кто с другой стороны экрана, Аноним (-), 17:10 , 13-Мрт-23, (346) Да вот кстати Cortex M для сишника так то поудобней RISCV Я так понимаю что RIS, Аноним (-), 10:26 , 08-Мрт-23, (337) правила диктует прогресс а он сдерживается рынком Появился запрос на использова, Аноним (221), 11:11 , 02-Мрт-23, (221) // Как рынок сдерживает прогресс , Вечно недовольный аноним (?), 12:34 , 02-Мрт-23, (228) +4 // инновационные продукты из-за высокой цены могут себе позволить единицы - произв, Аноним (221), 13:32 , 02-Мрт-23, (234) Unix захватил мир процессоров вместе с С Мелкомягкие писали свой первый код на , Аноним (265), 20:05 , 02-Мрт-23, (263) // С был спроектирован так, чтобы эффективно отображаться на две существующие на то, adolfus (ok), 21:49 , 04-Мрт-23, (314) // Да вообще-то в сишке адресное пространство так то одно на всех и вот на именно г, Аноним (-), 10:31 , 08-Мрт-23, (338) Неужели раст не помог и пришлось всё делать правильно Кто бы мог подумать , Аноним (5), 10:18 , 01-Мрт-23, (4) –1 // так он бы смог, конечно, смог бы - но пока на эту архитектуру кроме readme md ни, пох. (?), 10:44 , 01-Мрт-23, (18) // Как так А CoC md , Аноним (46), 12:31 , 01-Мрт-23, (49) +1 В рантайме проверять лайфтаймы и выходы за границы, это уже правильно , Аноним (-), 14:52 , 01-Мрт-23, (83)   // Хотя, если так подумать, в рантайме лайфтаймы и выходы за границы отслеживать пр, Аноним (-), 15:04 , 01-Мрт-23, (89) –1   // Если вы не думаете, то вы трупп Поэтому стремление к поменьше думать несколько, непох (?), 15:58 , 01-Мрт-23, (97)   Какой-нибудь диапазон значений int - и его переполнение - в компил тайме не боль, Аноним (-), 21:01 , 01-Мрт-23, (170)   В рантайме с поддержкой железа не халявно получается Спекулятивное выполнение, Аноним (-), 14:18 , 02-Мрт-23, (241)   переполнение int в рантайме - это логическая ошибка Поэтому компилятор и не пом, Аноним (265), 20:11 , 02-Мрт-23, (264)   Для процессора переполнение int а это не ошибка вовсе Для задумки программиста , Аноним (-), 22:40 , 02-Мрт-23, (283) +1   include stdio h include inttypes h int main uint8_t a 255,b 255 uint8_t c , Аноним (265), 00:41 , 03-Мрт-23, (290) –1   include stdio h int main int argc, char argv unsigned char a 255, b , Совершенно другой аноним (?), 17:03 , 07-Мрт-23, (325)   Эй лолки, man 3 printf для начала С вашим d вы такие забавные А builtin это п, Аноним (-), 22:08 , 07-Мрт-23, (326) +1   В данном случае рояля не играет, т к unsigned char расширится до unsigned int с, Совершенно другой аноним (?), 10:03 , 08-Мрт-23, (334) +1   Зато если это с u32 попробовать можно нехилый сюрприз поймать И между п, Аноним (-), 10:44 , 08-Мрт-23, (339)   Компания Microsoft открыла наработки, связанные с проектом CHERIoT , нацелен, Аноним (177), 22:05 , 01-Мрт-23, (186) –3 // До тебя медленно но очень трудно доходит что раст ненужен А сама идея на него ч, Аноним (214), 09:25 , 02-Мрт-23, (214) –1 // только икспертам опеннета хорошо что разработчики tor тебя не слышат Но до теб, Аноним (177), 03:54 , 03-Мрт-23, (292) А потом такие существа спрашивают, почему раст хейтят , Аноним (344), 18:13 , 10-Мрт-23, (344) Точно подмечено , Аноним (235), 13:25 , 02-Мрт-23, (232) –1 // А, слово подменил, смысл поменял, смешно получилось Детский сад, штаны на лямка, Аноним (177), 03:59 , 03-Мрт-23, (293) у Эльбрусов вроде есть защищённый режим где доступ к памяти и исполнение проверя, Аноним (6), 10:20 , 01-Мрт-23, (6) +2 // если ты про тегированную память, то он наверное был только в ель-брус-1, том у к, пох. (?), 10:49 , 01-Мрт-23, (23) –3 // Защищенный режим есть во всех Эльбрусах и работает, без наверное Если бы чуба, непох (?), 12:38 , 01-Мрт-23, (54) +3 // Прости, а вот при советской власти на которую тут все неистово др-ат им кто меша, пох. (?), 19:12 , 01-Мрт-23, (145) –1 Эта х-ня - про Эльбрус-1 или про Эльбрус-2 Если про первый, то там была неудач, U202204161753 (?), 11:37 , 02-Мрт-23, (222) О, оказывается в головотяпском управлении зажраной фирмочки чубайс виноват А он, Аноним (-), 21:04 , 01-Мрт-23, (171) –3 У человека, просто, русский на очень высоком уровне Обратите, пожалуйста, внима, Rock (?), 00:07 , 02-Мрт-23, (193) +1 Он уже давно стал нарицательным прозвищем, не отнять Но у тех по-моему даже так, Аноним (-), 02:27 , 02-Мрт-23, (198) В том и роль чубайсов - обеспечивать рынок сбыта в России для чужих стартапов Е, ЗанудаВФорточке (?), 19:19 , 02-Мрт-23, (254) Ну так чубайсы не из космоса прилетели Они все бывшие пламенные комсовольцы и в, Neon (??), 22:41 , 02-Мрт-23, (284) Нет, вы ошиблись Не вовсех Есть ещё серия Эльбрусов которые де факто Спарк сери, maximnik0 (?), 09:54 , 02-Мрт-23, (216) Да, конечно Всегда эта путаница, что называть Эльбрусами - либо только те что на, непох2 (?), 15:04 , 02-Мрт-23, (245) Нет, аппаратная защита есть и у Эльбруса ,который wlib Называеться тегирование-к, maximnik0 (?), 12:48 , 01-Мрт-23, (58) // Т е , обычные стандартные планки DDR-3, DDR-4 для Эльбруса не годятся , Аноним (46), 12:55 , 01-Мрт-23, (60) Да, обычные не годятся, нужные серверные DDR-модули с ECC Теги хранятся в вме, непох (?), 13:09 , 01-Мрт-23, (63) +6 Скрыто модератором, Аноним (-), 21:05 , 01-Мрт-23, (172) +1 А ECC при этом нормально работает , Аноним (-), 02:29 , 02-Мрт-23, (199) Да На уровне DDR-модуля ECC это просто дополнительные биты обычно 1 к восьми , непох2 (?), 14:24 , 02-Мрт-23, (242) +1 Здесь похоже какая-то на ка с точки зрения теории информации Если бы можно бы, Аноним (-), 17:39 , 24-Мрт-23, (349) Здесь пишут, что в защищенном режиме вылезают приколы в coreutils типа использов, анонимуз (?), 14:56 , 01-Мрт-23, (85) Не приколы, а баги И подобное всплывает чуть менее чем повсеместно , непох (?), 15:04 , 01-Мрт-23, (88) +2 В самОм Linux тоже Кстати, может ли вообще Linux работать в защищенном режиме , анонимуз (?), 15:11 , 01-Мрт-23, (90) Да, но Да, если переписать Защищенный aka Безопасный режим на Эльбрусах очен, непох (?), 15:53 , 01-Мрт-23, (96) +3 И как процессор различает, что в регистре сейчас целое или указатель , Аноним (46), 16:43 , 01-Мрт-23, (119) Упрощенно у регистра есть скрытые недоступные погроммисту биты, благодаря кот, непох (?), 18:39 , 01-Мрт-23, (140) Никак каждый указатель содержит смещение до начала массива объекта А в начале м, anonymous (??), 11:48 , 02-Мрт-23, (223) Так и есть, здесь весь этот секурный сетап описан http ftp altlinux org pub pe, anonymous (??), 11:50 , 02-Мрт-23, (225) Т е , без переписывания или, хотя бы, портирования никуда , Аноним (235), 14:01 , 02-Мрт-23, (239) Что имеется ввиду в данном контексте под защищённым режимом Если Linux ядро м, Аноним (235), 13:45 , 02-Мрт-23, (237) Аппаратный РБВ http ftp altlinux org pub people mike elbrus docs elbrus_prog h, anonymous (??), 11:57 , 03-Мрт-23, (295) Пра брусы и вообще очень занимательное чтиво - читать цикл статей задом наперед , RM (ok), 20:32 , 01-Мрт-23, (167) +1 // Всё продолбано до нас fixed, Tron is Whistling (?), 21:20 , 01-Мрт-23, (175) Ты еще скажи что Бэббидж тоже продолбал В смысле просто лазерной резки для шесте, RM (ok), 21:38 , 01-Мрт-23, (179) Я вообще восхищён что такое сумело проскочить в непрофильном сайте Там прямо ука, maximnik0 (?), 04:57 , 02-Мрт-23, (206) Защищенный режим в котором работает ровно ничего А тут решение которое работает, Аноним (131), 18:01 , 01-Мрт-23, (132) +1 Мало того, защищенный режим есть и у интелов, в том том числе флаг исполнения дл, qwe (??), 18:08 , 02-Мрт-23, (249) Вопрос Как освобождать тэгированную память Надо вайпить wipe биты тэга Ведь, Аноним (265), 19:54 , 02-Мрт-23, (261) так, погодите-ка Если Java - это язык, компилящийся для гипотетических процов,, Аноним (7), 10:21 , 01-Мрт-23, (7) // Доступа к памяти на яву нету, речь идет именно о нем , Аноним (-), 10:28 , 01-Мрт-23, (12) // Так прям и нет А вот пацанчики пишущие малварь на яве знают проUnsafe class ge, OpenEcho (?), 16:12 , 01-Мрт-23, (104) // getDeclaredFieldReturns a Field object that reflects the specified declared fie, Аноним (120), 16:37 , 01-Мрт-23, (116) –1 Гуглите про sun misc Unsafe или проще, - direct memory access java, OpenEcho (?), 16:46 , 01-Мрт-23, (121) +2 Типа того Админить руками или скриптами В Си - руками всё В Яве и прочих есть, Аноним (16), 10:31 , 01-Мрт-23, (14) –1 // почему не сделают скрипты сборщики мусора на си , Аноним (120), 11:57 , 01-Мрт-23, (41) // Как сборщик мусора защитит от разыменования указателя, указывающего на произволь, Аноним (46), 12:36 , 01-Мрт-23, (52) А как он защитит У меня нет мозгов и я не знаю , Аноним (120), 16:31 , 01-Мрт-23, (113) Для сей есть энное количесто сборщиков мусора, какие проблемы Можно начать с B, Аноним (-), 02:31 , 02-Мрт-23, (200) Процессору на ваши use after free и прочие шалости побоку, более того, состояние, _hide_ (ok), 13:06 , 01-Мрт-23, (62) +4 // Уточните, пожалуйста, какое отношение состояние гонки имеет к циклическим ссылка, Аноним (120), 16:29 , 01-Мрт-23, (112) // Последовательность действий Удаляем объекты в порядке, отличном от порядка созда, _hide_ (ok), 10:02 , 02-Мрт-23, (218) А причем здесь циклические ссылки , Аноним (120), 22:13 , 02-Мрт-23, (279) Потому что такие вещи часто встречаются именно в реализации объектов, ссылающихс, _hide_ (ok), 22:52 , 02-Мрт-23, (286) и результат - я открыл для себя что у top есть отображение rss в терабайтах Так , пох. (?), 19:16 , 01-Мрт-23, (146) Да, правильно, Си процессоры довольно специфичны на самом деле Было много альт, Аноньимъ (ok), 19:36 , 01-Мрт-23, (149) На Java бывают утечки памяти, если что Можно тоже запретить А кроме расширения , www2 (??), 20:21 , 01-Мрт-23, (165) Просто здесь исключения при работе с памятью перехватываются аппаратно и видны в, Аноним (265), 19:58 , 02-Мрт-23, (262) И не смогут крупные корпорации Пока топят за скорость выдачи результата Получа, Аноним (16), 10:27 , 01-Мрт-23, (11) +4 // То ли дело в опенсорсе 8212 медленно, дорого, качественно 8212 баги в Xorg, Аноним (15), 10:35 , 01-Мрт-23, (15) +4 // С опенсорсом в корпорациях проблема таже - корпроативно быстро, подешевле, некач, Аноним (19), 10:45 , 01-Мрт-23, (19) +2 // Я бы даже сказал больше, - не было бы корпораций, то весь опенсорс так и застрял, OpenEcho (?), 16:20 , 01-Мрт-23, (107) +1 Очень спорно, многие проекты начинаются за идею и не финансируются или раньше не, kusb (?), 20:17 , 01-Мрт-23, (164) Да все понятно, что идеи рождают гении, но когда реализация идеи выходит за пред, OpenEcho (?), 21:32 , 01-Мрт-23, (178) BSD избавлялась от компонентов AT T Unix на средства университетов Студентам и , www2 (??), 20:27 , 01-Мрт-23, (166) +1 Вот кто, кто, но только лучше не государства, там просто сбросят бабло родствени, OpenEcho (?), 21:44 , 01-Мрт-23, (182) Но жаль от того бы не было А работают все В науке и мысли в том и достоинство,, A (?), 22:13 , 01-Мрт-23, (188) Из приниципиально важного, а не из шелухи , A (?), 22:16 , 01-Мрт-23, (190) ZX-spectrum - был вполне коммерческий проект Боюсь, что и его бы в опенсорсе, Neon (??), 22:56 , 02-Мрт-23, (287) Я про софт, не про железку, голодные до програмирования тогда человеки настрогал, OpenEcho (?), 14:16 , 03-Мрт-23, (298) Де-факто опенсорсные улучшенные версии ZX-Spectrum были в СССР ещё до становлени, Аноним (302), 14:54 , 03-Мрт-23, (302) Если не признавать что некачественно тогда прокатит Как ты в проприетаре опреде, Аноним (26), 11:01 , 01-Мрт-23, (26) Это потомубчто уних 70 програмистов индусы без профильного образования , Аноним (129), 17:48 , 01-Мрт-23, (129) // Это ведь процент уязвимостей, а не 70 кода из них состоят Просто есть такая за, topin89 (ok), 20:34 , 01-Мрт-23, (168) Дидам придумали кресло-каталку Сами они писать на сях не могут без граблей, нор, 3draven (ok), 10:44 , 01-Мрт-23, (17) –3 // Скорее что наоборот диды сделали вешь, которая не позволяет отжать пользу девай, Аноним (19), 10:47 , 01-Мрт-23, (21) +1 Не дидам, а их дегроднутым внучкам , Аноним (135), 18:15 , 01-Мрт-23, (135) +1 // Диды иногда тоже жгут от души Вон красавчики, дереференсят массив по входу функ, Аноним (-), 02:43 , 02-Мрт-23, (203) +1 // Диды K R говорили что просто int может быть по умолчанию или signed или unsign, RM (ok), 13:31 , 02-Мрт-23, (233) +1 За это мы теперь жестко отдуваемся, когда вон те красавцы отрицательный индекс м, Аноним (-), 09:08 , 08-Мрт-23, (333) Я писал в контексте вопроса А зачем индекс signed делать вообще Кто-нибудь о, RM (ok), 20:50 , 04-Апр-23, (352) +1 Мощное заявление, пруфов конечно же не будет , Аноним (358), 22:32 , 04-Янв-24, (358) Да, память меня подвела, признаю, распространил я в своей голове поведение char , RM (ok), 23:25 , 04-Янв-24, (359) Ждём новостей о том как врырываются из очередной песочницы , IdeaFix (ok), 10:45 , 01-Мрт-23, (20) // Причем через npm , Аноним (26), 11:02 , 01-Мрт-23, (27) +1 // Не, контент мейкером будет позитив софтваре, так что через паяльник , IdeaFix (ok), 11:11 , 01-Мрт-23, (29) // Позитив Текнолоджис, Анонус (?), 12:33 , 01-Мрт-23, (50) это этого не надо защитать, указатели для этого и придуманы , Аноним (32), 11:33 , 01-Мрт-23, (32) // просто оно сделано defective by design, Аноним (33), 11:45 , 01-Мрт-23, (33) // Оно в процессоре так сделано, Аноним (32), 11:46 , 01-Мрт-23, (34) +1 // Так в процессоре CHERIoT сделано уже иначе , Аноним (46), 12:41 , 01-Мрт-23, (55) +3 RISC-V с дополнительным набором команд и на основе этих команд новый компилятор , Аноним (265), 20:55 , 02-Мрт-23, (267) Именно , Аноньимъ (ok), 19:38 , 01-Мрт-23, (150) Почему Microsoft и Google не уволит свои криворуких кодеров и м ак и не наймет , Аноним (120), 11:54 , 01-Мрт-23, (37) +7 // Дык им никто не рассказал почему-то до сих пор, Амомин (?), 11:56 , 01-Мрт-23, (39) –1 Месные эксперты с опеннет говорят там обязательно непустую учетку на гитхабе над, Аноним (32), 11:56 , 01-Мрт-23, (40) // Куда устраивался если не секрет Взяли , Аноним (120), 16:24 , 01-Мрт-23, (110) Контрактором в Интел Взяли , Аноним (32), 18:01 , 01-Мрт-23, (133) +1 // Думается интелу учетка на гитхабе не так важна как фактические знания и скилы то, Аноним (-), 02:34 , 02-Мрт-23, (201) Так никому не нужна учетка на гитхабе Нужен код, написанный кандидатом, чтобы с, Аноним (248), 16:22 , 02-Мрт-23, (248) Они услышали вас и увольняют десятками тысяч сейчас подготавливают место для , OpenEcho (?), 16:26 , 01-Мрт-23, (111) Почему ты просто не перепишешь всё на раст , Аноним (214), 09:25 , 02-Мрт-23, (215) +1 Очень интересно, спасибо за инфу, пригодится мне для разработки , Иваня (?), 11:56 , 01-Мрт-23, (38) +1 CHERI - это у старшеклассниц, а Capability Hardware Extension to RISC-V должно, YetAnotherOnanym (ok), 12:08 , 01-Мрт-23, (43) +1 // Во, я тоже подумал про CHERVI , Аноним (46), 12:44 , 01-Мрт-23, (57) +2 Никуда от указателей не деться в низкоуровневом программировании Взятие данных , Аноним (45), 12:20 , 01-Мрт-23, (45) +6 // Это не значит, что указатель надо хранить в голом виде без обертки и позволять, Аноним (304), 18:00 , 03-Мрт-23, (304) А что такого в том чтобы переписать существующий старый код Ведь далеко не все , nc (ok), 12:25 , 01-Мрт-23, (47) –2 // Такого - ничего Только трудозатраты и время Большие , Аноним (53), 12:37 , 01-Мрт-23, (53) Таких программистов, которые были в 2004 году, сейчас мы даже приблизительно не , AKTEON (?), 17:34 , 01-Мрт-23, (126) +3 Вот это правильный подход, т к это решение можно считать устранением причины пр, Бегущий по граблям (?), 12:26 , 01-Мрт-23, (48) –1 // Rust делает проверки в compile-time, а здесь предлагается run-time решение, как , freecoder (ok), 13:39 , 01-Мрт-23, (65) // Не все проверки можно в compile time сделать Такая печалька Скажем проверку пе, Аноним (-), 02:39 , 02-Мрт-23, (202) +1 // К каждому числовому типу прикручены куча типажей которые определяют поведение да, Аноним (265), 21:07 , 02-Мрт-23, (268) Проц ничего про это не знает Поэтому вы либо лепите кучу софтварных проверок и , Аноним (-), 22:30 , 07-Мрт-23, (328) Меня ребенок спросил - А ты какие языки знаешь, знаешь СиПлюсПлюс ОН СЛОЖНЫЙ , Alexey Torgashin (?), 12:42 , 01-Мрт-23, (56) –2 // Это ваш бдсм-проект очень противный , а не C , которого вы не знаете И не забы, непох (?), 13:03 , 01-Мрт-23, (61) +5 Точно, в QuickBasic тоже про проблемы с памятью не знали Кстати прикол, видел н, OpenEcho (?), 16:36 , 01-Мрт-23, (115) +2 Привет, Алексей А почему Оберон не выбрали для своего проекта вместо Lazarus В, Tita_M (ok), 19:18 , 01-Мрт-23, (147) // Видишь ли тут такое дело я не осилил Оберон Да и не хотел его осиливать Зачем , Алексей Торгаш (?), 09:19 , 02-Мрт-23, (212) // Модулу смогёшь Modula-2 включен в состав GCC 13 , Аноним (235), 14:05 , 02-Мрт-23, (240) Спасибо вам за ваш труд Паскаль действительно очень интересная тема , Аноньимъ (ok), 19:40 , 01-Мрт-23, (151) +1 Только вот на Паскале никто почему то особо не пишет Он не противный, он три, Neon (??), 23:02 , 02-Мрт-23, (288) Посмотрел я этот ваш кудатекс И что-то там сплошной object Pascal, а не паскаль, Аноним (32), 00:22 , 03-Мрт-23, (289) А как этот процессор будет отличать ошибки работы с памятью от намеренных оптим, freecoder (ok), 13:41 , 01-Мрт-23, (66) –1 // Никак При наличии дырени для эксплойта нужно будет поприседать чуть больше, в то, непох (?), 14:45 , 01-Мрт-23, (82) А ничего, что компилятор ближе к железу, чем твой замечательный код , Аноним (106), 16:15 , 01-Мрт-23, (106) // вроде оба работают с регистрами и инструкциями проца или компилятор работает как, Аноним (32), 00:04 , 02-Мрт-23, (192) Если компилятор и будет оптимизировать, то будет оптимизировать легально в поле , Аноним (265), 21:21 , 02-Мрт-23, (270) Вообще, сишники теперь должны полюбить Rust Потому что он им даст больше свобод, freecoder (ok), 13:43 , 01-Мрт-23, (68) // наоборот, Rust не нужен вдвойне - достаточно пересобрать код специальным компиля, Аноним (221), 15:02 , 01-Мрт-23, (86) // Портировать ядро Linux или BSD на эту chert-ову байду проще чем переписать на Ru, непох (?), 15:21 , 01-Мрт-23, (91) // Уже причем, BSD задолго до пингвина , Аноним (117), 16:39 , 01-Мрт-23, (117) по крайней мере arm morello разрабатывается с применением верификации всех компо, Аноним (221), 15:30 , 01-Мрт-23, (92) Скопилировать новым компилятором под RISCV расширенный набор команд Обнаружит, Аноним (265), 21:29 , 02-Мрт-23, (271) хорошо, но уже есть Linuxhttps github com cheri-linuxпроект arm morello с порт, Аноним (221), 14:56 , 01-Мрт-23, (84) // В GCC тоже CHERI добавляли Но пока только для Morello , Аноним (46), 16:06 , 01-Мрт-23, (99) Они изобрели MPU , Заболотный (?), 15:40 , 01-Мрт-23, (94) Судя по тому, что это делают 1 безопасники из майков 3 криворучки из подраздел, Аноним (101), 16:13 , 01-Мрт-23, (105) Бьёт по рукам при распарсивании ввода goto , Аноним (109), 16:22 , 01-Мрт-23, (109) +3 // Ну тогда Леня Поцтеринг попал по ходу и Торвалдс тоже, OpenEcho (?), 16:42 , 01-Мрт-23, (118) +1 // Запасайтесь попкорном Только это всё имхо для отдельного сегмента , Аноним (265), 21:32 , 02-Мрт-23, (273) За него статический анализатор может по мозгам дать, если разрешить , Аноним (-), 02:46 , 02-Мрт-23, (204) А в этом RISC-V классические инструкции NX, PAE для защиты памяти имеются , Аноним (134), 18:01 , 01-Мрт-23, (134) // Скрыто модератором, Аноним (-), 18:35 , 01-Мрт-23, (139) А в этом RISC-V классические инструкции NX,Я по быстрому просматривал документа, maximnik0 (?), 21:50 , 01-Мрт-23, (185) –1 // Значит RISC-V - _г_о_в_н_о_ проц И как ты без NX будешь защиту памяти писать в O, Аноним (256), 19:37 , 02-Мрт-23, (256) –2 // И для виртуализации инструкции тоже необходимы Но NX нужнее , Аноним (258), 19:40 , 02-Мрт-23, (258) С виртуализацией у RISC-V прогрессивнее всех нас егодня Она там многоуровневая , Аноним (302), 19:03 , 03-Мрт-23, (305) Проц поддерживает тэгирование памяти 3 бита , а это покруче чем просто защита о, Аноним (265), 21:49 , 02-Мрт-23, (275) +1 Так говорите что память можно метить не только на исполнение, а есть еще бит для, Аноним (308), 09:56 , 04-Мрт-23, (308) Там есть 3 атрибута на память -Чтение,модификация и запись Атомарные атрибуты-мо, maximnik0 (?), 22:19 , 02-Мрт-23, (281) +1 А надо - исполнение запрет исполнения Еще раз, решили, что для обеспечения кор, Аноним (312), 12:10 , 04-Мрт-23, (312) Что то из перечисленного как мне кажется лишнее Не забывайте что у RISC-V нет из, maximnik0 (?), 22:06 , 04-Мрт-23, (315) Нет В этом вся суть ИТ индустрии Николая Вирт писал об этом в средине 1980-тых, Аноним (323), 15:37 , 06-Мрт-23, (323) +2 Какое необразованное, наглое вранье Чем лапшу вешать людям на уши или коль сам , Аноним (354), 18:52 , 13-Май-23, (354) +1 Тесты RISC-V покажи https www opennet ru openforum vsluhforumID3 129886 html , Аноним (355), 08:58 , 24-Июн-23, (355) gt оверквотинг удален Не было там никаких тормозов, NX можно реализовать через, Аноним (356), 17:01 , 17-Сен-23, (356) RISC-V кстати открыт для твоих расширений Но писать их надо будет исключительно, Алексей Торгаш (?), 09:19 , 02-Мрт-23, (213) +1 NX, PAE - это из мира x86 Причём, PAE - это для 32-битных CPU с целью расширени, Аноним (224), 12:19 , 02-Мрт-23, (227) // В OS Linux, BSD используют 3 варианта 1 Инструкция NX в процессорных архитект, Аноним (250), 18:22 , 02-Мрт-23, (250) // Вам просто подчеркнутое слово нравится Повод употребить его так себе , Аноним (265), 21:54 , 02-Мрт-23, (276) –1 Из топика каждая операция чтения и записи в память авторизуется Вся работа с п, Аноним (265), 22:10 , 02-Мрт-23, (278) Запрет исполнения есть не только в сегментной, но и в постраничной Вот надо орга, Аноним (324), 13:25 , 07-Мрт-23, (324) Ващет бывает и легитимный самомодифицируюшийся код Скажем man data 2 code tran, Аноним (-), 22:34 , 07-Мрт-23, (329) JIT зло JIT несовместим с принципами безопасности Критерии корректности работы , Аноним (330), 07:42 , 08-Мрт-23, (330) Вон то не JIT Просто класс алгоритмов такой Скоростными дата компрессорами доп, Аноним (-), 16:55 , 08-Мрт-23, (340) Критерии работы ПО с памятью определил https www opennet ru openforum vsluhfo, Аноним (342), 20:36 , 09-Мрт-23, (342) JIT не будет работать с W X Почему-то Data2code transform тоже не будет Эту т, Аноним (-), 04:19 , 14-Мрт-23, (348) На все отвечать не буду, но прочёл всё W X это фундаментальный и принципиальный , Аноним (350), 20:09 , 03-Апр-23, (350) Классический алгоритм постраничной защиты памяти с использованием инструкции NX , Аноним (351), 18:34 , 04-Апр-23, (351) Инструкция PAE в процах Intel позволяет делать ASLR без потерь производительнос, Аноним (353), 15:27 , 11-Май-23, (353) А какие работоспособные ядра есть недыряво-сишные Redox, мягко говоря, неработо, Аноним (302), 14:50 , 03-Мрт-23, (301) +1 Очередная тестовая сборка Hardened Gentoo GNU Linux-systemd -elogind -dbus -polk, Аноним (309), 11:10 , 04-Мрт-23, (309) +1 Fix Потому, что тот тест собирается без SSP А вот на архитектурах MIPS, PPC дан, Аноним (311), 11:44 , 04-Мрт-23, (311) Права на процесы наверно лучше проверять так code ls -dl proc 1dr-x------ 8 , Аноним (313), 12:56 , 04-Мрт-23, (313) Там не в одном ядре дело Корректность работы достигается за счет связки 5-ти ва, Аноним (310), 11:39 , 04-Мрт-23, (310) FreeBSD Hardened патчиhttps hardenedbsd org content easy-feature-comparisonhtt, Аноним (117), 11:03 , 06-Мрт-23, (320) Критерии корректности работы с памятью написал https www opennet ru openforum, Аноним (323), 15:02 , 06-Мрт-23, (322) теперь RISC-V начнёт падать в синий экран , Аноним (141), 18:54 , 01-Мрт-23, (141) +2 // В IoT не обязательно наличие экрана Тогда во что , Аноним (302), 14:41 , 03-Мрт-23, (299) // halt reboot Синий экран это виндузятник , Аноним (306), 22:40 , 03-Мрт-23, (306) Придётся купить , Личинка_Шигорина (?), 04:05 , 05-Мрт-23, (316) Эта корпорация полагает, что в каждой Ардуине 256 MiB RAM Неудивительно, что , Аноним (142), 19:03 , 01-Мрт-23, (142) +1 // эта корпорация логично полагает что эпоха пердулин прошла и их удел - мигать све, пох. (?), 19:21 , 01-Мрт-23, (148) +1 Лишь бы слово анклав не использовать, а то юристы Intel обидятся , Аноним (142), 19:05 , 01-Мрт-23, (143) // А PAE инструкции для защиты памяти от Intel патентированы или свободны как NX , Аноним (144), 19:10 , 01-Мрт-23, (144) // О Господи,в Интел для этого специальные инструкции придумали или вы что то напут, maximnik0 (?), 22:08 , 01-Мрт-23, (187) // Все зависит от реализации защиты памяти ядром OS Допустим защита пямяти не такая, Аноним (253), 19:18 , 02-Мрт-23, (253) Юристам Интел в этом случае лучше помалкивать Есть минимум 2 более ранних реализ, maximnik0 (?), 22:16 , 01-Мрт-23, (191) DRM очередной Или встроенный зонд , Kuromi (ok), 21:22 , 01-Мрт-23, (176) // Жил-был дядя Боб,Толоконный лоб Пошел Боб по базаруПосмотреть кой-какого товару , подрывник (?), 17:45 , 03-Мрт-23, (303) какие нафиг существующие IoT проекты, где они все Их так много в особенности л, Sw00p aka Jerom (?), 22:14 , 01-Мрт-23, (189) +1 К автору в чем грех разименовать указатель , Аноним (205), 02:52 , 02-Мрт-23, (205) +2 // тем более в IoT , Sw00p aka Jerom (?), 08:39 , 02-Мрт-23, (207) // Фирма ARM нулевые указатели не любит Поэтому единственным достижением станет бр, Аноним (-), 17:30 , 13-Мрт-23, (347) Дополнение-разьяснение короткого поста сверху Проблема не в разыменовании указа, ЗанудаВФорточке (?), 19:09 , 02-Мрт-23, (252) Вместо того чтобы научиться программировать лепят такую горбуху , Аноним (274), 21:44 , 02-Мрт-23, (274) +2 // Идеальный программист это утопия , Аноним (265), 22:14 , 02-Мрт-23, (280) // Дело не в идеальности, а в дисциплине , Аноним (274), 01:24 , 03-Мрт-23, (291) +1 Так это для унаследованного кода, который требует перепрограммирования на больши, Аноним (302), 14:45 , 03-Мрт-23, (300) // Так перепрограммируй, кто тебе не дает , Аноним (344), 18:10 , 10-Мрт-23, (343) Интересно, почему нейросети не приспособили до сих пор к анализу и переписыванию, Глашатый (?), 11:02 , 05-Мрт-23, (318) 1,2,3,4,6,7,11,17,20,32,37,38,43,45,47,48,56,66,68,84,94,105,109,134,141,142,143,176,189,205,274,318

Сообщения

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

	83. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от Аноним (-), 01-Мрт-23, 14:52
	> пришлось всё делать правильно В рантайме проверять лайфтаймы и выходы за границы, это уже "правильно"?
	Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

	89. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	–1 +/–
	Сообщение от Аноним (-), 01-Мрт-23, 15:04
	Хотя, если так подумать, в рантайме лайфтаймы и выходы за границы отслеживать проще. В том же расте, если перенести лайфтаймы в рантайм при помощи RefCall и Arc, то компилятор перестаёт ругаться. Паники иногда в рантайме случаются, правда. Но зато думать не надо, прям как в C.
	Ответить | Правка | Наверх | Cообщить модератору

	97. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от непох (?), 01-Мрт-23, 15:58
	> зато думать не надо Если вы не думаете, то вы трупп. Поэтому стремление к "поменьше думать" несколько удручает.
	Ответить | Правка | Наверх | Cообщить модератору

	170. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от Аноним (-), 01-Мрт-23, 21:01
	> Хотя, если так подумать, в рантайме лайфтаймы и выходы за границы отслеживать проще. Какой-нибудь диапазон значений int - и его переполнение - в компил тайме не больно то отследишь в общем случае. А в рантайме без поддержки железом не халявно получается, так что даже хруст это только в дебаг билде делает. Ну вы же понимаете что дебагбилд у дева час покрутится а релиз годами у легиона юзерей? С понятной разницей в уровне оттестированости и факапов.
	Ответить | Правка | К родителю #89 | Наверх | Cообщить модератору

	241. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от Аноним (-), 02-Мрт-23, 14:18
	> в рантайме без поддержки железом не халявно получается В рантайме *с* поддержкой железа не халявно получается. Спекулятивное выполнение, позволяет процессору все эти проверки проскакивать, выполняя полезный код пока какая-нибудь из прошлых проверок не скажет, что было переполнение. Проверки небесплатны вне зависимости, поддержаны они железом или нет. Если они поддержаны железом, значит тебе дополнительных компараторов придётся засовывать в конвеер и длину спекуляций увеличивать. Либо отдельный специализированный конвеер выделять под эти проверки, что наверное глупость: иногда его производительности будет не хватать и он будет ограничивать скорость выполнения кода, а иногда его производительность будет избыточна, и он будет простаивать тогда, когда мог бы ускорять выполнение кода.
	Ответить | Правка | Наверх | Cообщить модератору

	264. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от Аноним (265), 02-Мрт-23, 20:11
	переполнение int в рантайме - это логическая ошибка. Поэтому компилятор и не поможет.
	Ответить | Правка | К родителю #170 | Наверх | Cообщить модератору

	283. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+1 +/–
	Сообщение от Аноним (-), 02-Мрт-23, 22:40
	Для процессора переполнение int'а это не ошибка вовсе. Для задумки программиста это может быть ошибкой. А компилятор вполне может помочь, если задумка программиста будет закодирована в коде. Когда ты используешь + для любого сложения, то происходит потеря информации о задумке, при передачи из головы компилятору, потому что разные идеи кодируются одинаково. Если же их кодировать по-разному, то компилятор может помочь. Таким образом, логика твоя порушена. Из "логичности" ошибки никак не вытекает того, что компилятор не поможет. Он не поможет потому что программист не попросил компилятор помочь с данным типом логических ошибок.
	Ответить | Правка | Наверх | Cообщить модератору

	290. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	–1 +/–
	Сообщение от Аноним (265), 03-Мрт-23, 00:41
	#include <stdio.h> #include <inttypes.h> int main(){ uint8_t a=255,b=255; uint8_t c; c=a+b; printf("%d\n",c); И здесь я Явно указал значения операндов. Компилятор GCC даже не предупредил.
	Ответить | Правка | Наверх | Cообщить модератору

	325. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от Совершенно другой аноним (?), 07-Мрт-23, 17:03
	> #include <stdio.h> > #include <inttypes.h> > int main(){ > uint8_t a=255,b=255; > uint8_t c; > c=a+b; > printf("%d\n",c); > И здесь я Явно указал значения операндов. Компилятор GCC даже не предупредил. #include <stdio.h> int main(int argc, char* argv[]) {   unsigned char a = 255, b = 255, c;   if (__builtin_add_overflow(a, b, &c) == 0)     printf("%d\n", c);   else     printf("owerflow\n");   a = 254;   b = 1;   if (__builtin_add_overflow(a, b, &c) == 0)     printf("%d\n", c);   else     printf("owerflow\n");   a = 255;   b = 1;   if (__builtin_add_overflow(a, b, &c) == 0)     printf("%d\n", c);   else     printf("owerflow\n");   return 0; }
	Ответить | Правка | Наверх | Cообщить модератору

	326. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+1 +/–
	Сообщение от Аноним (-), 07-Мрт-23, 22:08
	Эй лолки, man 3 printf для начала. С вашим %d вы такие забавные. А builtin это прекрасно но не по стандарту и специфично для компилера, увы. Для unsigned вполне конкретно определено что они врапаются по своей ширине, это well defined behavior как раз таки, им можно пользоваться и дофига алгоритмики типа крипто, операций с битами и проч этим пользуется - экономя команды проца в критичных к скорости местах лопатящих порой сотни мегов в секунду (шифрование или хеширование чего-то по сетке например). В мане для вас, анонимов, про %d так то написано что это спецификатор для ЗНАКОВЫХ десятичных чисел! Вы же взяли 2 беззнаковых, для начала. Если вы ЭТОМУ uint скармливаете от большого ума - там так то и отрицательное число может нарисоваться в принципе. Но вы ж сами попросили этим спецификатором рассмотреть вон то, на входе, как знаковое. Разумеется конверсия uint -> signed в недрах printf это нечто implementation defined. Чисто теоретически компилер мог бы и предупредить что вы какую-то хрень printf дали. Для некоторых наиболее очевидных даже и предупреждает, но до вот этого видимо не добрались еще. Или вы не включили всякие -Wall -Wextra -Wconversion чтобы узнать о себе и своих кодинг скилах кое-что новое.
	Ответить | Правка | Наверх | Cообщить модератору

	334. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+1 +/–
	Сообщение от Совершенно другой аноним (?), 08-Мрт-23, 10:03
	> Эй лолки, man 3 printf для начала. С вашим %d вы такие > забавные. В данном случае рояля не играет, т.к. unsigned char расширится до unsigned int со значением 255, и всё будет выведено корректно, как Вы знаете, на стек char положить никак нельзя, кладётся (ну или ложится) только словами. > А builtin это прекрасно но не по стандарту и специфично > для компилера, увы. Я в курсе, по стандарту именно как Вы написали - переполнение беззнаковых вполне себе определено. >[оверквотинг удален] > начала. Если вы ЭТОМУ uint скармливаете от большого ума - там > так то и отрицательное число может нарисоваться в принципе. Но вы > ж сами попросили этим спецификатором рассмотреть вон то, на входе, как > знаковое. Разумеется конверсия uint -> signed в недрах printf это нечто > implementation defined. > Чисто теоретически компилер мог бы и предупредить что вы какую-то хрень printf > дали. Для некоторых наиболее очевидных даже и предупреждает, но до вот > этого видимо не добрались еще. Или вы не включили всякие -Wall > -Wextra -Wconversion чтобы узнать о себе и своих кодинг скилах кое-что > новое. $ gcc -Wall -Wextra -Wconversion q.c q.c: In function 'main': q.c:3:14: warning: unused parameter 'argc' [-Wunused-parameter]     3 | int main(int argc, char* argv[])       |          ~~~~^~~~ q.c:3:26: warning: unused parameter 'argv' [-Wunused-parameter]     3 | int main(int argc, char* argv[])       |                    ~~~~~~^~~~~~ $ gcc --version gcc.exe (MinGW.org GCC Build-2) 9.2.0 Copyright (C) 2019 Free Software Foundation, Inc. This is free software; see the source for copying conditions.  There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. $ gcc -Wall -Wextra -Wconversion q.c q.c: In function ‘main’: q.c:3:14: warning: unused parameter ‘argc’ [-Wunused-parameter]     3 | int main(int argc, char* argv[])       |          ~~~~^~~~ q.c:3:26: warning: unused parameter ‘argv’ [-Wunused-parameter]     3 | int main(int argc, char* argv[])       |                    ~~~~~~^~~~~~ $ gcc --version gcc (Ubuntu 11.3.0-1ubuntu1~22.04) 11.3.0 Copyright (C) 2021 Free Software Foundation, Inc. This is free software; see the source for copying conditions.  There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
	Ответить | Правка | Наверх | Cообщить модератору

	339. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от Аноним (-), 08-Мрт-23, 10:44
	> В данном случае рояля не играет, т.к. unsigned char расширится до unsigned > int со значением 255, и всё будет выведено корректно, Зато если это с u32 попробовать... можно нехилый сюрприз поймать :))). И между прочим, размер char, int и проч - это в сишке тоже очень интересный вопрос! Формально по спекам такие комбо могут быть валидны что охренеть. Скажем оба char и int как 16 битов - вполне валидная идея. А там точно расширение будет? И ничего не предъявите, имели право. А если ваш код на вон то еще и  уповал - ну, ой, а он не обязан работать был, вы какие-то конкретные допущения 1 реализации приняли за истину в последней инстанции. > как Вы знаете, на стек char положить никак нельзя, Я знаю что ... в стандарте си ВООБЩЕ СОВСЕМ НЕТ НИЧЕГО ПРО СТЭК. Там просто нет этого слова. Вообще, как категории. Стандарт си не специфицирует как это вообще будет сделано. Какое-то конкретное аби еще может, но это вообше не про си уже. > кладётся (ну или ложится) только словами. Словами, словами, какими словами...? Ну вот AVR 8-битный, у него слово в стеке - это хто такое? А чо - там printf тоже можно. > Я в курсе, по стандарту именно как Вы написали - переполнение беззнаковых > вполне себе определено. Зато с знаковыми там полнейший задник. И этот задник иногда даже в беззнаковые ухитряется протиснуться немного, блин. > q.c:3:14: warning: unused parameter 'argc' [-Wunused-parameter] Э... это был hello world? Терь попробуйте это на реальном коде пожирней и зазырьте как вам оно. Учитывая что вы мне уже сосватали UB и какие-то стеки, возможно что вы кой-что не знаете и о своем коде так то :). И да, кстати -Wconversion много чего ловит но вот именно приколы printf таки далеко не все. Впрочем это уже и не компилерская штука а библиотечная по большому то счету.
	Ответить | Правка | Наверх | Cообщить модератору

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

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