From: __blf, RusH Security Team <http://rst.void.ru>
Date: Wed, 23 Feb 2008 18:21:07 +0000 (UTC)
Subject: Пример эксплуатации целочисленных переполнений.
Оригинал: http://rst.void.ru/papers/int_of.txt
OpenBSD integer overflows
На сегодняшний день все большую популярность приобретают целочисленные переполнения или integer overflows. Целочисленное
переполнение происходит когда мы пытаемся записать в переменную значение, большее максимального значения типа этой
переменной. В этой статье я расскажу вкратце про этот тип уязвимостей и приведу несколько примеров. Работать будем под
OpenBSD 3.6. Рассмотрим для начала небольшой пример:
#include <stdio.h>
int main(int argc, char ** argv)
{
u_int32_t i;
u_int16_t s;
s = 0x100000000; // 65536 in hex
i = (s % 0x100000000);
printf("%dn", i);
return 0;
}
Программа выдаст нам 0, т.к. 0x100000000 % 0x100000000 = 0.
Что будет если мы в переменную s вместо 65536 подставим 65537? Программа выдаст 1.
Это основа, которая необходима для понимания целочисленного переполнения. Согласно стандарту C99, при целочисленном
переполнении компилятор может вести себя как угодно. Согласно стандарту, если переменная unsigned типа не может вместить
в себя какое то значение, то происходит следущее преобразование:
Мы будем работать с типом unsigned short, его максимальное значение 65535, соответсвенно если мы попробуем присвоить
переменной типа usigned short значение больше чем 65535, то значение переменной будет равно:
u_short_number % 65536
Пример:
#include <stdio.h>
int main(int argc, char ** argv)
{
usigned short s;
s = 65535; //ok
printf("s is %dn", s);
s = 65536; // too big
printf("s is %dn", s);
return 0;
}
Вот что мы получим:
localhost:prog {173} ./int
s is 65535
s is 0
localhost:prog {174}
Все работает в соответствии со стандартом.
Уязвимость целочисленного переполнения не очень опасна, т.к. она не может самостоятельно повредить какие либо участки
памяти, но она может вызвать переполнение буфера, правда в большинстве случаев довольно сложно эксплуатируемое, что мы
сейчас и рассмотрим на примере:
Что же происходит? Почему происходит переполнение буфера? А происходит вот что:
unsigned short secure_len = len;
Переменной типа unsigned short присваеватся значение переменной int. Все хорошо до тех пор пока len <= 65535. Если же
len будет равно 65536 то secure_len будет равно 0, и проверка:
Будет пропущена, а после этого memcpy лихо скопирует 65536 байтов в 25 байтовый буфер secure_buf:
memcpy(secure_buf, buf, len);
В результате чего и произойдет переполнение буфера.
На сегодняшний день целочисленные переполнения буфера приобретают все более масштабный характер и более разрушительные
последствия. Эффективной защиты от целочисленного переполнения при использовании стандартных типов данных на сегодняшний
день не существует.
Vova
