Фундаментальные основы хакерства. Учимся идентифицировать конструкторы и деструкторы

Содержание статьи

• Объекты в куче
• Современные микропроцессоры архитектуры x86-64
• Объекты в автоматической памяти
• Идентификация конструктора/деструктора в глобальных объектах
• Виртуальный деструктор
• Виртуальный конструктор
• Конструктор раз, конструктор два...
• Зачем козе баян, или Внимание: пустой конструктор!

В этой статье речь пойдет об известных каждому программисту функциях работы с объектами класса — конструкторах и деструкторах, а также о том, как обнаружить их в коде исследуемой программы.

Читай также:

• Проверка аутентичности и базовый взлом защиты
• Знакомство с отладчиком
• Продолжаем осваивать отладчик
• Новые способы находить защитные механизмы в чужих программах
• Выбираем лучший редактор для вскрытия исполняемых файлов Windows
• Мастер-класс по анализу исполняемых файлов в IDA Pro
• Учимся искать ключевые структуры языков высокого уровня
• Идентификация стартового кода и виртуальных функций приложений под Win64
• Какие бывают виртуальные функции и как их искать

Объекты в куче

Конструктор в силу своего автоматического вызова при создании нового экземпляра объекта — первая по счету функция. Так какие же могут возникнуть сложности в его идентификации? Камень преткновения в том, что конструктор факультативен, то есть может присутствовать в объекте, а может и не присутствовать. Поэтому совсем не факт, что первая вызываемая функция — именно конструктор!

Заглянув в описание языка C++, можно обнаружить, что конструктор не возвращает никакого значения, что нехарактерно для обычных функций, однако все же не настолько редко встречается, чтобы однозначно его идентифицировать. Как же тогда быть?

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

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

Деструктор, как и конструктор, факультативен, то есть последняя вызываемая функция объекта может и не быть деструктором. Тем не менее отличить деструктор от любой другой функции очень просто — он вызывается только при результативном создании объекта (то есть успешном выделении памяти) и игнорируется в противном случае. Это документированное свойство языка — следовательно, обязательное к реализации всеми компиляторами. Таким образом, в код помещается такое же «кольцо», как и у конструктора, но никакой путаницы не возникает, так как конструктор вызывается всегда первым (если он есть), а деструктор — последним (опять-таки если он присутствует).

Особый случай представляет объект, целиком состоящий из одного конструктора (или деструктора), — попробуй-ка разобраться, с чем мы имеем дело. Но разобраться можно! За вызовом конструктора практически всегда присутствует код, обнуляющий this в случае неудачного выделения памяти, а у деструктора этого нет. Далее, деструктор обычно вызывается не непосредственно из материнской процедуры, а из функции-обертки, вызывающей помимо деструктора и оператор delete, который освобождает занятую объектом память. Так что отличить конструктор от деструктора вполне можно.

Между тем современные компиляторы для создания оптимального по быстродействию и размеру кода могут впихнуть все элементы в функцию main. Для лучшего понимания сказанного рассмотрим демонстрацию конструктора и деструктора (пример myClass1):

#include <stdio.h>  class MyClass {  public:     MyClass(void);     void demo(void);     ~MyClass(void); };  MyClass::MyClass() {     printf("Constructorn"); }  MyClass::~MyClass() {     printf("Destructorn"); }  void MyClass::demo(void) {     printf("MyClassn"); }  int main() {     MyClass *zzz = new MyClass();     zzz->demo();     delete zzz; } 

В результате компиляции примера myClass1 с помощью VC++’17 с настройкой вывода проекта Release будет выглядеть так:

main proc near   push rbx   sub  rsp, 20h   mov  ecx, 1           ; size   call operator new(unsigned __int64)   lea  rcx, _Format     ; "Constructorn"   mov  [rsp+28h+arg_0], rax   mov  rbx, rax   call printf   lea  rcx, aMyclass    ; "MyClassn"   call printf   lea  rcx, aDestructor ; "Destructorn"   call printf   mov  edx, 1           ; __formal   mov  rcx, rbx         ; block   call operator delete(void *,unsigned __int64)   xor  eax, eax   add  rsp, 20h   pop  rbx   retn main endp 

Как раз упомянутый случай! Компилятор все сделал достоянием функции main, в отдельности не создав ни конструктора, ни деструктора, ни метода класса. После выделения памяти он тут же вызывает функцию для вывода строки символов! То же происходит с очисткой памяти. Вот это магия! Здесь интересным для нас может быть только оператор new: его устройство мы подробно рассмотрели в предыдущей статье.

Продолжение доступно только участникам

Материалы из последних выпусков становятся доступны по отдельности только через два месяца после публикации. Чтобы продолжить чтение, необходимо стать участником сообщества «Xakep.ru».

Присоединяйся к сообществу «Xakep.ru»!

Членство в сообществе в течение указанного срока откроет тебе доступ ко ВСЕМ материалам «Хакера», увеличит личную накопительную скидку и позволит накапливать профессиональный рейтинг Xakep Score! Подробнее

Я уже участник «Xakep.ru»

Источник