Неопределённое поведение

Привет, коллеги! Хочется чуть больше понимать про это UB. Много статей посмотрел, но ещё куча вопросов. Везде эту вещь преподносят как опасность совершения какого угодно действия (хоть формат це, хоть отправка непристойных картинок контактам). Ясно что это страшилки, притянутые за уши. Хочется знать больше из практики.

1) Например обращение к неинициализированной переменной. Или разыменование указателя на освобождённую память. "Будет UB". Но всё ограничится лишь случайным мусорным значением в переменной, или же программа может полностью съехать с катушек (выполнить что-то неожиданное), даже если полученное неожиданное значение никак не влияет на логику в коде?

2) Переполнение в знаковом типе. Например прибавление 1 к максимальному значению. Просто на разных платформах могут получиться разные значения (из-за того что отличается способ хранения и порядок бит), или же будет ещё что-то непредсказуемое?

3) Теперь вещи посуровее, например запись за границами массива. Можно повредить стек и адрес возврата, и программа действительно сойдёт с ума. А может ли это привести к записи в память другого процесса? Это действительно более опасная вещь чем две предыдущие, или и там и там возможно всё?

4) Известны ли какие-то реальные случаи серьёзных последствий от какой-нибудь безобидной проги, где из-за UB например повредились какие-то файлы (но в её коде нет обращений к файлам), или хотя-бы BSOD? Ясно что у новичков бывает куча случаев UB, а кое-что работает годами и всё равно имеет где-то UB. Насколько реальна опасность повредить систему из-за этого?

0

0

0