- До проверки на нуль выполнение не дойдёт ,
Герберт Уэллс, 30-Окт-13, 12:07 (1)
//
- если нет ошибки в программе, значит ошибка в компиляторе ,
Аноним, 30-Окт-13, 12:13 (2)
//
- Приведены два примера неистового говнокода, в проблемах безопасности конечно вин,
BayaN, 30-Окт-13, 12:29 (6)
//
- Комментор умнее исследователей и редакторов научных статей Гений прям ,
анонимотик, 30-Окт-13, 14:39 (59)
//
- Нет, все ещё круче Если учитывать 3471 пакете из 8575 пакетов, доступных в реп,
noname01, 30-Окт-13, 14:51 (70)
- Чтобы подобным образом наезжать на комментатора, неплохо бы исследованиями заним,
Аноним, 30-Окт-13, 14:58 (75)
//
- Если комментатор пишет явную херню, проводить специальные исследования по данном,
Аноним, 30-Окт-13, 16:51 (103)
- Но можно по ссылке сходить и прочитать хотя бы первые буквы работы, которую аме,
Аноним, 30-Окт-13, 23:13 (181)
- Оптимизация UB втихую - это, конечно, мудро и правильно Вместо того, чтобы выда,
Аноним, 31-Окт-13, 15:56 (233)
- Кавычки лишние Работают и живут в США, значит американские Что, бомбит ,
IRASoldier, 18-Июн-18, 12:11 (336)
- Нет, просто комментатор на стороне создателей компиляторов, а не говнокодеров П,
BayaN, 30-Окт-13, 15:38 (85)
- в данном случае 8212 умнее авторы компилятора которые стандарты таки читали,,
arisu, 31-Окт-13, 08:25 (192)
//
- Стандарт прочитать и обезьянка может А вот корректно обрабатывать отклонения от,
Аноним, 31-Окт-13, 15:57 (234)
- предлагаю тебе надрать им всем задницы и показать, как надо делать компиляторы ,
arisu, 31-Окт-13, 16:35 (248)
- Ага, для того чтобы это хорошо работало, правда, придется тезисы Тюринга опровер,
Аноним, 31-Окт-13, 17:00 (258)
- не веришь ты в людей это, может, гений среди нас, а ты его расхолаживаешь он т,
arisu, 31-Окт-13, 17:52 (260)
- Вас послушать, так для оптимизаций компилятор вообще должен собственным сознание,
Аноним, 31-Окт-13, 18:51 (268)
- На сях гoвнокод, как правило, является наиболее простым и эффективным решением п,
Аноним, 30-Окт-13, 16:49 (102)
//
- это просто потому, что у тебя мозг кроме говнокода ничего больше произвести не в,
arisu, 31-Окт-13, 08:27 (193)
//
- Не только у меня Сколько сишных программ не смотрел - никогда не видел, чтобы б,
Аноним, 31-Окт-13, 15:54 (232)
- Поэтому сам я стараюсь на сях не писать Благо, задачи не системные, и перл отли,
Аноним, 31-Окт-13, 16:13 (239)
- бедняга плохо быть тобой ,
arisu, 31-Окт-13, 16:37 (249)
- Я прямо удивляюсь даже - какой же операционкой вы тогда пользуетесь И если они ,
Аноним, 31-Окт-13, 16:58 (256)
- Константин Серебряный, залогиньтесь,
Аноним, 30-Окт-13, 17:07 (109)
//
- Компиляторы стали слишком умными, началась игра кто кого ,
Аноним, 30-Окт-13, 12:31 (7)
//
- А причем тут компиляторы Вместо того, чтобы проверить len, проверяется выход ук,
BSA, 30-Окт-13, 12:36 (8)
//
- А если этот len добавляется к buf в каждой итерации Умник такой умник,
z, 30-Окт-13, 12:58 (10)
//
- Покажите такой код, где нужно в цикле к указателю постоянно добавлять число и я ,
ананим, 30-Окт-13, 13:41 (32)
//
- копирование первого поля структурыstruct data dd data1 dd data2ends movsdadd,
клоун Стаканчик, 30-Окт-13, 15:43 (87)
- Хинт Сабж и данный трэд о С в крайнем случае о С ПС понятно что в ассем,
ананим, 30-Окт-13, 16:01 (92)
- Пример 1 ACPI таблица RSDT состоит из последовательно идущих структур разног,
клоун Стаканчик, 30-Окт-13, 16:18 (97)
- 1 Ещё раз для упoрoтых , Об аспи речи не шло аспи кривое по-жизни даже создат,
ананим, 30-Окт-13, 16:52 (104)
- Для употорых аспи лишь один из примеров, взять любые данные, упакованные в стру,
z, 30-Окт-13, 17:21 (114)
- Для дабл-употорых Так где в коде проверки Почему их нет ЗыжТо что их нет означа,
ананим, 30-Окт-13, 17:31 (119)
- 1 В каком месте компилятор меняет исходники 2 Когда вы предоставили с-код, тре,
ананим, 30-Окт-13, 18:10 (130)
- ззыжВот и покажи где тут бегают по указателям, потенциально выходящим за пределы,
ананим, 30-Окт-13, 18:20 (131)
- 1 компилятор исключил условие2 на что вы требуете проверять Не выделил ли m,
клоун Стаканчик, 30-Окт-13, 18:31 (136)
- На оверфлоу указателя По поводу чего и был трэд пока вы не пришли с темой к ук,
ананим, 30-Окт-13, 18:51 (139)
- 32-разрядное адресное пространство ограничено 2 32 степени адресов При этом дан,
клоун Стаканчик, 30-Окт-13, 19:06 (142)
- Программа в юзерспейсе в общем случае понятия не имеет о том какая там память Э,
Аноним, 30-Окт-13, 20:15 (153)
- Программам в юзерспейсе нет необходимости проверять на выход за пределы адресн,
клоун Стаканчик, 30-Окт-13, 22:14 (171)
- Кажется, Линус тоже плавает - он почему-то не совсем согласен насчет элегантно,
Аноним, 30-Окт-13, 23:43 (183)
- Тогда предложите свой гениальный способ страничной адресации 256 Тб памяти 64 б,
клоун Стаканчик, 31-Окт-13, 02:54 (187)
- 256 Тб памяти 64 бита - это как раз не про режим PAE, а про гениальный спос,
Аноним, 31-Окт-13, 03:47 (189)
- Прежде чем продолжать, узнайте что такое PAE, long mode и AMD64 ,
клоун Стаканчик, 31-Окт-13, 10:14 (210)
- Зачем Про накладные расходы на страницах минимального размера не думали и про ,
Michael Shigorin, 31-Окт-13, 12:55 (212)
- Занавес Наверное, это такие люди просовывают через PCI данные побитно, дёргая на,
Michael Shigorin, 31-Окт-13, 00:37 (185)
- Как-то так переполнения буферов и случаются Что, ты совсем не в состоянии осозн,
Аноним, 31-Окт-13, 15:43 (226)
- 8230 ты риальне клоун ,
arisu, 31-Окт-13, 08:32 (197)
- вообще-то, разыменование NULL 8212 это ошибка по стандарту языка , угу ,
arisu, 31-Окт-13, 08:31 (196)
- Разыменование - да А сам по себе доступ - не обязательно ,
Аноним, 31-Окт-13, 15:44 (227)
- расскажи мне, о Гуру, как можно делать 171 доступ 187 без разыменования ,
arisu, 31-Окт-13, 16:39 (251)
- Упс, перепутал с обращением к освобожденной памяти Нефиг сообщения сонным писат,
Аноним, 02-Ноя-13, 09:09 (317)
- я же не спорю, что на уровне аппаратуры может быть валидной ,
arisu, 02-Ноя-13, 10:58 (324)
- Кого именно умнее, тебя клоун Так это дело нехитрое Тебе уже жирно намекали на,
Аноним, 31-Окт-13, 00:11 (184)
- Ну-ну, расскажите миру, в каком месте это верно про цикл, итерирующий массив стр,
Филипп Филиппович, 30-Окт-13, 21:07 (164)
- Это косяки ЯЗЫКА Стандарт С позволяет не только себе ногу отстрелить, но и покал,
Аноним, 30-Окт-13, 13:00 (12)
//
- Аноним такой знаток , что не в силах отличить недостатки от достоинств ,
Аноним, 30-Окт-13, 13:07 (13)
//
- Может быть ты в силах ,
Аноним, 30-Окт-13, 13:44 (34)
- А, так возможность переполнения - это на самом деле достоинство Как и создаваема,
Аноним, 30-Окт-13, 13:44 (35)
- Для кого дыра, а для кого и мать родна ,
Аноним, 30-Окт-13, 13:46 (38)
- да Это следствие ручного управление памятью Такое же как низкое ее потребление,
Аноним, 30-Окт-13, 14:46 (64)
- Это всего лишь то как по факту работают процессоры в массе своей Обойти сие мож,
Аноним, 30-Окт-13, 20:18 (154)
- вот конктретно 171 неопределённое поведение при целочисленном переполнении 18,
arisu, 31-Окт-13, 08:37 (199)
- Могу посоветовать тебе и твоим функциональным аналогам писать на Visual Basic ,
Аноним, 30-Окт-13, 13:09 (14)
//
- Стандарт определяет язык, который хорошо переносим и одновременно эффективен Ре,
Филипп Филиппович, 30-Окт-13, 13:37 (26)
//
- Вообще-то почти все прикладное ПО пишут не на Сях, а скорее на Крестах В кото,
тоже Аноним, 30-Окт-13, 13:57 (44)
- К сожалению, в крестах наследие Си очень сильно В теории -- да, стандартная биб,
Филипп Филиппович, 30-Окт-13, 14:12 (47)
- Это скорее legacy-проблемы За последнее время по всему интернету развешаны стат,
тоже Аноним, 30-Окт-13, 14:17 (52)
- Это-то да Но ведь оно же лет без малого пятнадцать так Некоторые сдвиги есть, ,
Филипп Филиппович, 30-Окт-13, 14:30 (57)
- Потому что проблема не столько в легаси-коде, сколько в легаси-учебниках ,
тоже Аноним, 30-Окт-13, 14:32 (58)
- Ну да, разруха не в клозетах Она в головах -DНо я всё равно в последние неско,
Филипп Филиппович, 30-Окт-13, 14:47 (66)
- Потому что не уверены в своих силах Я предпочитаю рассчитывать на себя больше, ч,
ананим, 30-Окт-13, 15:12 (79)
- Нет, не поэтому Не хочу ,
Филипп Филиппович, 30-Окт-13, 15:23 (81)
- Да я и так понял Порассуждать с надутыми щёками мы все горазды Типа, ох уж эти ,
ананим, 30-Окт-13, 15:40 (86)
- О, да-да, мнение опеннетовского анонима сейчас перевернёт мою вселенную Впрочем,
Филипп Филиппович, 30-Окт-13, 17:01 (105)
- Ну-ну, просветите меня про состав стандартной библиотеки и расскажите, как жить ,
Филипп Филиппович, 30-Окт-13, 18:01 (129)
- Аналогично Для системного встроенного программирования использую Си, а С в эт,
dq0s4y71, 30-Окт-13, 17:45 (124)
- единственный нормальный способ использовать плюсовое недоразумение ,
arisu, 31-Окт-13, 08:40 (200)
- Бред Нормальное плюсовое использование 8212 это шаблоны Вот это действительн,
ананим, 31-Окт-13, 15:39 (224)
- это мощь и красота костылей ещё и на уровне синтаксиса костыльных вообще, наст,
arisu, 31-Окт-13, 15:44 (228)
- Ха Шаблоны существовали уже тогда, когда маркетолухи ещё и слово то такое, гене,
ананим, 31-Окт-13, 16:46 (252)
- Я, честно говоря, тоже в своё время восхищался шаблонами, пока не узнал, что выв,
Vkni, 02-Ноя-13, 20:47 (329)
- угу-угу правда, в Аде их придумали в районе 1978-го года, а первый cfront ни о ,
arisu, 02-Ноя-13, 21:17 (330)
- верно какого чёрта -- программист такой умный что уже ПОСЛЕ того как СОВЕРШИТ,
Xasd, 30-Окт-13, 13:14 (16)
//
- По-моему, это еще более страшный быдлoкод ,
Аноним, 30-Окт-13, 13:23 (18)
//
- За такой код надо тебе по пальцам молотком для мяса пройтись ,
Аноним, 30-Окт-13, 13:25 (20)
//
- ну напиши как надо балобол так как ты писать ни чего не будешь -- то разговор я,
Xasd, 30-Окт-13, 13:28 (23)
- Лол, как тебя зацепило Нет уж - давай ты свои ошибки сам исправишь Подскажу в,
Аноним, 30-Окт-13, 13:35 (25)
- да -- я привёл код который просто проверяет переполнение при сложении совершенно,
Xasd, 30-Окт-13, 13:43 (33)
- Именно что ЛОЛ Обозвал человека, докажи что заслуженно А пока только эти эпите,
ананим, 30-Окт-13, 14:51 (69)
- да да, разумеется ULONG_MAX - buf len здесь конечно явно уместнее го,
Xasd, 30-Окт-13, 15:10 (78)
- cat 222 c include stdio h main size_t l 0 можно с модификатора,
ананим, 30-Окт-13, 15:33 (83)
- Так не интересно, это читерство -P,
pavlinux, 30-Окт-13, 16:01 (91)
- Кстати согласен Такие вещи должны определятся на целевой платформе но констан
, ананим, 30-Окт-13, 16:07 (95)
- define SIZE_T_MAX 2UL sizeof size_t 8 - 1 - 1 как вариант define S,
pavlinux, 30-Окт-13, 15:57 (89)
- По русскому у тебя то-же что и по информатике ,
Аноним, 30-Окт-13, 13:40 (30)
//
- Подобные проверки перед каждой арифметической операцией негативно повлияют как н,
..., 30-Окт-13, 15:03 (77)
//
- прикинь, процессор тоже делает именно так сюрпрайз, да а то, что си заставляет ,
arisu, 31-Окт-13, 08:46 (201)
//
- вообще забавно сначала обратиться к структуре по указателю sk tun- sk , а уж,
Аноним, 30-Окт-13, 12:36 (9)
//
- Да уж, возмущаться таким кодом - умильно С первым примером, конечно, надо ворнин,
Crazy Alex, 30-Окт-13, 13:39 (28)
//
- Зачем так сложно Вот то, что имели ввиду авторы, но не осилили реализовать ,
dq0s4y71, 30-Окт-13, 14:26 (56)
//
- И что, компилятор это не выкинет ,
Аноним, 30-Окт-13, 16:27 (100)
- Или так, но это optional тип ,
Crazy Alex, 30-Окт-13, 17:04 (106)
- беда в том, что значение этого выражения всё равно не определено, если случилось,
arisu, 31-Окт-13, 08:57 (204)
- Строго говоря, код в примерах не очень корректный Увы, подобные перлы действите,
Филипп Филиппович, 30-Окт-13, 13:28 (22)
//
- Если позволите, вопрос от не читавшего стандарт А что, в С разыменование указате,
тоже Аноним, 30-Окт-13, 14:12 (48)
//
- Еще чего не хватало ,
Аноним, 30-Окт-13, 14:40 (61)
- Вы про нулевой указатель и tun- sk Да, там прибавление смещения Но ведь даже п,
Филипп Филиппович, 30-Окт-13, 14:41 (62)
//
- На любой вменяемой платформе это 0 ,
Аноним, 30-Окт-13, 14:49 (67)
- Да, пардон, это я напутал Никаких проверок в самом коде, конечно Это система в,
тоже Аноним, 30-Окт-13, 14:54 (71)
- Разумеется это не так ,
Аноним, 30-Окт-13, 14:55 (72)
- Нет, всё не так - Очень много где будет защита и от чтения Стандарт такую пра,
Филипп Филиппович, 30-Окт-13, 14:58 (74)
- На каком-нибудь эмбеде запись по нулевому адресу может быть абсолютно корректной,
Crazy Alex, 30-Окт-13, 17:05 (107)
- нет этого делать нельзя, но по рукам никто не ударит, и код проверки тоже не вс,
arisu, 31-Окт-13, 09:00 (205)
- В приведенных примерах компилятор следует стандарту, а программист предполагает ,
Tav, 30-Окт-13, 13:32 (24)
//
- -ffast-math годный дырооптимизатор ,
commiethebeastie, 30-Окт-13, 13:49 (40)
- Интересно, какие ошибки компилятора нужны АНБ, что используется именно определён,
Андерй, 30-Окт-13, 13:54 (42)
- Как здесь справедливо заметили, это - косяки программистов В первом примере, ес,
dq0s4y71, 30-Окт-13, 14:19 (54)
//
- Если len объявлена беззнаковым числом, то buf len buf ложно при любых значениях ,
клоун Стаканчик, 30-Окт-13, 17:40 (123)
//
- Почему это Сравниваются ведь указатели, а не целые, поэтому целое будут преобра,
dq0s4y71, 30-Окт-13, 18:23 (132)
//
- Почему это Сравниваются ведь указатели, а не целые, поэтому целое будут преобра,
клоун Стаканчик, 30-Окт-13, 18:43 (137)
- Нет Пример для 32-х битной платформы buf void 0xffffffff len 1,
Ordu, 30-Окт-13, 19:06 (143)
- Проводить сравнение методом 171 а давайте попробуем вызвать переполнение 187,
ананим, 30-Окт-13, 19:06 (144)
- Вот ты и показал что ты болванчик Как ты думаешь, что будет если к 32-битному u,
Аноним, 30-Окт-13, 19:55 (150)
- Так думает не он, разработчики компиляторов ,
Аноним, 30-Окт-13, 20:27 (159)
- Неа Так думаешь ты и ахтур этого гoвнoкoда А компилятор думает а С детишкам не,
ананим, 30-Окт-13, 21:21 (167)
- На самом деле все проще математика у процов так работает ,
Аноним, 30-Окт-13, 22:08 (170)
- нет разработчики компиляторов следуют стандарту, в котором сказано, что перепол,
arisu, 31-Окт-13, 09:09 (208)
- Оптимизации компилятора не нарушают стандарт языка, так что достаточно не писать,
annulen, 30-Окт-13, 14:45 (63)
- Доигрались Вот так ,
iZEN, 30-Окт-13, 14:50 (68)
//
- новость - боян и фигня уже много лет говорят про UB и что нужно его избегать бы,
Пиу, 30-Окт-13, 15:36 (84)
- Главное, что они написали анализатор, который тычет программистов в их косяки А,
Аноним, 30-Окт-13, 15:59 (90)
//
- Вот как раз компилятор этого делать и не должен Он должен запускаться один раз ,
Crazy Alex, 30-Окт-13, 17:10 (110)
//
- SRP вообщето ,
NoName, 30-Окт-13, 20:54 (160)
//
- Ага И так как про сообщения об ошибках компиляции в стандарте ничего не сказано,
Аноним, 01-Ноя-13, 19:03 (306)
- Собственно, clang это и делает, если не просить о большем Замечательно И как ты,
annulen, 01-Ноя-13, 21:43 (310)
- Давайте компилятор еще и программы писать начнет вместо программиста А программ,
Аноним, 30-Окт-13, 22:29 (176)
- Они его ужо открыли ,
pavlinux, 30-Окт-13, 16:14 (96)
//
- Мне кажется или подобные проверки на выход за пределы сами по себе ошибки ,
BratSinot, 30-Окт-13, 17:05 (108)
//
- Особенно порадовало if buf len buf Хакиры, однако Про переполнение зна,
Аноним, 30-Окт-13, 19:51 (149)
//
- Ваш вариант определения переполнения суммы, при условии, что операнды должны быт,
pavlinux, 31-Окт-13, 15:10 (220)
//
- а тут уже не раз приводили, вообще-то в данном случае 8212 UINTPTR_MAX- ui,
arisu, 31-Окт-13, 15:39 (223)
- так нельзя, т к UINTPTR_MAX может быть больше фактического значения адреса Во,
Аноним, 31-Окт-13, 23:45 (271)
- хм портабельного метода узнать 171 место, где Земля закругляется 187 нет н,
arisu, 01-Ноя-13, 06:05 (274)
- Проблема возникает исключительно при программировании ядра Линукс Для всех оста,
клоун Стаканчик, 01-Ноя-13, 11:03 (277)
- а потом офигевают отчего это их говнософт не собирается на другой платформе ах,
arisu, 01-Ноя-13, 11:07 (278)
- И очень этим радуют неадекватных людей, которые собирают не только под x86 Тольк,
тоже Аноним, 01-Ноя-13, 11:07 (279)
- в ядре всегда известна модель памяти И нигде нет необходимости проверять перепо,
all_glory_to_the_hypnotoad, 01-Ноя-13, 12:41 (281)
- Врёте ,
Michael Shigorin, 01-Ноя-13, 15:10 (297)
- В общем если так дрочить код, то проще изначально не создавать проблем ,
pavlinux, 01-Ноя-13, 02:33 (273)
- Изначально неверная постановка задачи На самом деле цель - поймать выход за гра,
Аноним, 02-Ноя-13, 10:45 (323)
- Пардон, но если программист в своём коде допускает случаи, когда поведение прогр,
Аноним, 30-Окт-13, 18:23 (133)
//
- Выход один, компилятор должен компилировать, а вот оптимизировать ли код должен ,
Аноним, 30-Окт-13, 19:42 (147)
//
- после первого говнопримера читать прекратил результат buf len при переполне,
arisu, 31-Окт-13, 08:22 (191)
- Это просто ещё одно доказательство, что убогий сипипи не приспособлен для промыш,
Аноним, 31-Окт-13, 16:27 (244)
//
- Код сам неосторожно написан Компилятор просто следует стандарту, а стандарт гла,
rihad, 06-Ноя-13, 16:41 (335)
- Компилятор выкидывает из кода костыли и грязные хаки неопределённые или неста,
IRASoldier, 18-Июн-18, 12:15 (337)
|
Версия для распечатки
