Целочисленный underflow.

Целочисленный underflow возникает, когда беззнаковое целое уменьшается ниже нуля или знаковая арифметика пересекает INT_MIN, и результат «оборачивается» в очень большое положительное число. Классический шаблон — len = header_len - prefix_len с подконтрольным атакующему prefix_len: получившееся огромное len обходит проверки границ и приводит к переполнению кучи или стека и OOB-чтениям. Реальные примеры — CVE-2018-1000005 (libcurl) и многочисленные сетевые ошибки ядра, где size_t-арифметика по длинам пакетов уходит в underflow. Меры: знаковая арифметика с явными сравнениями, проверяемое вычитание (__builtin_sub_overflow, std::safe_int), языковые ловушки переполнения (Rust debug, Swift), фаззинг с UBSan и строгая валидация ввода.