Использование неисполнимых буферов

От атак переполнения буфера

Классификация способов защиты

Переполнение буфера происходит, прежде всего, из-за неправильного алгоритма работы программы, который не предусматривает проверок выхода за границы выделяемой памяти. Также особую роль здесь играет язык программирования и его стандартные библиотеки. Так как стандартный язык С ++ не содержит функций контроля соответствия типов, то в переменную одного типа можно занести значение другого типа. Стандартные функции С ++, например strcpy, sprintf, gets, работают со строками символов и не имеют в качестве аргументов их размеров, что легко приводит к переполнению буфера.

Сложившийся годами стиль программирования, более ориентированный на производительность программ, без выполнения дополнительных проверок также является причиной распространения данной уязвимости. В связи с этим для программистов выработан ряд методик и указаний по написанию программ, не содержащих уязвимости, сформированы рекомендации по исправлению уже существующих программ (например, замена уязвимых функций strcpy, spritnf на их аналоги strncpy, snprintf, в параметры которых входит размер строки).

Существуют гибкие средства, автоматически выполняющие действия, имитирующие переполнение буфера на этапе отладки программы. Также следует упомянуть об утилитах автоматического поиска уязвимостей в исходном коде программы. Указанные методы и средства позволяют создавать более защищенные программы, но не решают проблему в принципе, а лишь минимизируют число уязвимостей по переполнению буфера. К недостаткам следует отнести и то, что данный подход ориентирован непосредственно на разработчиков программного обеспечения и не является инструментом конечного пользователя или системного администратора.

В настоящее время выделяют следующие способы защиты от атак переполнения буфера:

1) использование неисполняемых буферов;

2) применение проверок выхода за границы буфера;

3) применение проверок целостности блоков данных.

Суть способа заключается в запрещении исполнения кода в сегментах данных и стека, т. е. параметры сегментов данных и стека содержат только атрибуты записи и чтения, но не исполнения. Реализация неисполняемого стека существует в операционных системах Solaris, Linux, а с введением аппаратного контроля доступа к памяти по методу выполнения (бит NX в дескрипторе страницы памяти) данная возможность появилась и в операционной системе Windows. Однако ограничение на исполнение данных приводит к проблеме несовместимости, так как исполняемый стек необходим для работы многих систем защиты программного обеспечения от изучения (например, PeCompact, TeLock и многие другие).

Дата добавления: 2014-12-27