Нет правил логической транзитивности, когда дело касается UB. Ваше предположение неверно.
UB означает, что что-то может случиться, поэтому на плохо написанной ОС ваша программа может фактически свернуть ОС. Не исключайте этого.
Кроме того, ваша программа не сбой, потому что вы разыскиваете указатель NULL
. Он вылетает из-за сбоя операционной системы.