Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.80/15: Рейтинг темы: голосов - 15, средняя оценка - 4.80
 Аватар для Kuzia domovenok
4268 / 3327 / 926
Регистрация: 25.03.2012
Сообщений: 12,532
Записей в блоге: 1

Как обмануть компилятор и "перепрыгнуть через функцию"?

09.08.2013, 16:51. Показов 3075. Ответов 10
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Известно, что адрес возврата из функции сохраняется на стеке. (В данном эксперименте мы отключим все виды инлайна в оптимизациях).
Так вот, я решил воспользоваться этим свойством и написать программу, которая ломает вложенный вызов нескольких функций путём манипуляций со стеком.
Программа следующая:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
//#include <iostream>
void* ret_address;
//void* old_stack;
int get6(){
    _asm{
        mov eax, ret_address; //надеемся, что при наступлении return
// программа прыгнет прямиком в main
        mov [ebp+4], eax;
        pop ebp;//убираем из стека то, что должна 
        pop ebp;//была убрать get5 при своём завершении
    }
//std::cout<<"return 6 triggered"<<std::endl;
    return 6;
}
int get5(){
    _asm{
        mov eax, [ebp+4];
        mov ret_address, eax;
 
    }
    get6();
//std::cout<<"return 5 triggered"<<std::endl;
    return 5;
}
 
int main(){
    return get5();
}
Вопрос: почему программа вылетает с ошибкой порчи стека и регистра esp? Что я неправильно сделал?

Не по теме:

MSVS2008

0
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
09.08.2013, 16:51
Ответы с готовыми решениями:

Как обмануть компилятор?
Приветствую, программеры! Сразу к делу. Есть 2 модуля: unit Vector3d; interface uses Vector2d; type TVector3d = packed...

Как обмануть компилятор и пропустить часть кода?
Есть некая команда, выполняемая в VB6. А вот VB5 ее не знает и дает ошибку при компиляции...Как можно обмануть компилятор??? (в ходе...

Как перепрыгнуть новый цикл
Как мне создать цикл чтобы можно было влепить его в StringBuilder не задеваю другие циклы))) Через StringBuilder dd = new...

10
09.08.2013, 16:57

Не по теме:

Где тут C++, Kuzia domovenok?

1
 Аватар для Kuzia domovenok
4268 / 3327 / 926
Регистрация: 25.03.2012
Сообщений: 12,532
Записей в блоге: 1
09.08.2013, 17:01  [ТС]
Tulosba,
Цитата Сообщение от Kuzia domovenok Посмотреть сообщение
//#include <iostream>
И вообще, ну пусть будет Си если хочешь. Тема-то одна, хоть на Си-компиляторе собирай это, хоть на С++. Я вот проверял в студии.
0
09.08.2013, 17:24

Не по теме:

Kuzia domovenok, где бы это не собирать, тут по сути асмовый код. И, как мне кажется, полезный ответ быстрее удастся получить в соответствующем разделе. Имхо.

0
 Аватар для Kastaneda
5232 / 3205 / 362
Регистрация: 12.12.2009
Сообщений: 8,143
Записей в блоге: 2
09.08.2013, 21:39
Ты манипулируешь с ebp, который используется для организации стек-фрейма и только компилятору известно где-что лежит. Т.е. я хочу сказать, что совсем не факт, что вот это
C++
1
mov [ebp+4], eax;
кладет адрес возврата туда, откуда он будет прочитан после "разрушения" стек-фрейма. Это первое, второе - не факт, что вот это
C++
1
2
mov eax, [ebp+4];
mov ret_address, eax;
сохраняет именно адрес возврата, а не, например, предыдущее значение ebp (т.к. при организации стек-фрема ebp сохраняется как раз на стеке). Ну и третье (самое важное) - здесь (и везде в подобных случаях)
C++
1
2
int get6(){
    _asm{
между первой и второй строкой есть ассемблерный код, который неизвестно что делает с регистрами, как и здесь
C++
1
2
    }
    return 6;
между закрывающейся скобкой и return.

Твоя затея может сработать так
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#include <stdio.h>
 
void *ptr = NULL;
 
void* f0()
{
lbl:
    if (ptr != NULL) {
        printf("Hello\n");
    }
 
    return &&amp;lbl;
}
 
void f1(void *exit)
{
    asm("pushl %0" :"=d"(exit));
    goto *ptr;
}
 
int main()
{
    ptr = f0();
    f1(&&exit);
 
exit:
    return 0;
}
gcc позволяет брать адреса меток оператором &&. В асм вставке мы подсовываем адрес метки exit инструкции ret из функции f0() (вообще-то этот пример писался в качестве ответа на вопрос как перейти при помощи gotо из одной ф-ции в другую). Он работает лишь чудом, потому что: 1 - маленькому коду сложей сломаться, чем большому, 2 - чудо Внутри f0() и f1() создаются собственные стек-фреймы и при вмешательстве асма за ними никто не следит, следовательно в функции main когда дело дойдет до exit: стек-фрема main'а фактически не существует, он нарушен и настроен, скорее всего, для ф-ции f1().
1
 Аватар для Kuzia domovenok
4268 / 3327 / 926
Регистрация: 25.03.2012
Сообщений: 12,532
Записей в блоге: 1
09.08.2013, 22:15  [ТС]
Kastaneda, Спасибо, но я всё-таки решил проблему. Хотя решение довольно узкоспециализированное. Ни о какой расширяемости, универсальности речи не идёт. К тому же ещё и от компилятора зависит.

1) Надо убедиться, что компилируешь в release а не debug
(я это и так пробовал, но потом случайно переключил в debug)
В дебаге компилятор забивает в стек ещё кучу всяких дополнительных регистров помимо просто ebp, тем самым ломая наше представление о том, где какие данные лежат.
2) ВОТ! Работает! Чтобы просто сделать возврат с прыжком через функцию, надо просто очистить стек от данных, вставленных туда при втором вложенном вызове. Выглядит это так.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#include <iostream>
int get6(){
    _asm{
        pop ebp;//выкинуть ebp, вставленный при вызове get6
        pop ebp;//выкинуть адрес возврата в get5
    }
    std::cout<<"return 6 triggered"<<std::endl;
    return 6;//теперь на вершине стека ebp и адрес возврата, сохранённые при вызове get5 
//из main
// и return будет доставать их из стека, думая, что это "адрес возврата в get5"
// но мы ж его выкинули - и теперь на вершине стека аналогичные данные, 
// только для возврата в main
}
int get5(){
    std::cout<<"get6 called"<<std::endl;
    get6();
    std::cout<<"return 5 triggered"<<std::endl;
    return 5;
}
int main(){
    std::cout<<"get5 called"<<std::endl;
    int n=get5();
    std::cout<<"returned "<<n<<std::endl;
    std::cout<<"return from get5 not triggered"<<std::endl;
    return 0;
}
Добавлено через 2 минуты
Естественно это работает только, если компилятор ничего больше в стек не пихал. Например в обеих этих функциях не случайно нет локальных переменных - они бы усложнили дело, будучи тоже в стеке.
0
09.08.2013, 22:16

Не по теме:

Kuzia domovenok, А зачем такое понадобилось вообще?

1
 Аватар для Kuzia domovenok
4268 / 3327 / 926
Регистрация: 25.03.2012
Сообщений: 12,532
Записей в блоге: 1
09.08.2013, 22:23  [ТС]
Цитата Сообщение от Croessmah Посмотреть сообщение
Kuzia domovenok, А зачем такое понадобилось вообще?
не боись, не для применения в каких-то программах/проектах. Просто исследую возможности компилятора.

Добавлено через 3 минуты
Цитата Сообщение от Kastaneda Посмотреть сообщение
goto *ptr;
спасибо, но как я уже сказал. Это исключительно для понимания, что твориться в стеке, какими инструкциями можно попрыгать по функциям вопреки изначальной задумке программы, и можно ли в стеке заменить адреса возврата.
0
09.08.2013, 22:25

Не по теме:

Цитата Сообщение от Kuzia domovenok Посмотреть сообщение
можно ли в стеке заменить адреса возврата.
Можно, особенно этим страдают Cи'шные scanf'ы :D

1
Эксперт С++
4986 / 3093 / 456
Регистрация: 10.11.2010
Сообщений: 11,170
Записей в блоге: 10
09.08.2013, 22:53
В GCC можно сделать так:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include <iostream>
 
int main()
{
    __asm__ __volatile__ (
        "push   eax ;"
        "ret        ;"
    : : "a" (&&jump_out) );
 
    std::cout << "Hello!\n";
 
jump_out:
    return 0;
}
0
Ушел с форума
Эксперт С++
 Аватар для Убежденный
16481 / 7444 / 1187
Регистрация: 02.05.2013
Сообщений: 11,616
Записей в блоге: 1
09.08.2013, 22:54
Kuzia domovenok, все уже придумано до нас:
_ReturnAddress
_AddressOfReturnAddress
2
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
09.08.2013, 22:54
Помогаю со студенческими работами здесь

Как перепрыгнуть кадр 2 и выполнить код в кадре 3
Я создал 1 кадр и в нем создал мувиклип, который передвигаю по оси икс box.x +=10;. Следущий кадр я создал пустым. Тогда все работает,...

Как программно перепрыгнуть из одной учетки винды в другую?
Есть 2 или загруженных учетных записи пользователя винды, как программно перепрыгнуть из одной учетки (десктопа) в десктоп другой. ...

phpStorm: Когда пишу скрипт, использую jQuery-функцию, компилятор подчеркивает её, как ошибку
Доброго времени суток. Пробую осваивать php. В качестве среды выбрал phpStorm. Когда пишу скрипт, использую jQuery-функцию, но ее...

Как сделать что бы выводилась через компилятор, а не записывался в файл
#include &lt;iostream&gt; #include &lt;fstream&gt; #include &lt;string&gt; #include &lt;vector&gt; #include &lt;cstdlib&gt; #include &lt;sstream&gt; using...

Как обмануть антивирус?
Привет ребят, возможно я ошибся темой если так то скажите куда мне обратиться Так вот я собираюсь идти учиться на курс компьютерной...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
11
Ответ Создать тему
Новые блоги и статьи
Камера Toupcam IUA500KMA
Eddy_Em 12.02.2026
Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу
zbw 12.02.2026
И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.
«Знание-Сила»
zbw 12.02.2026
«Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров
8Observer8 12.02.2026
Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image)
8Observer8 11.02.2026
Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image
8Observer8 10.02.2026
Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .
Установка Qt-версии Lazarus IDE в Debian Trixie Xfce
volvo 10.02.2026
В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer
8Observer8 08.02.2026
Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru