Переповнення стека (BOF): Як працює атака та як захиститись

📌 Переповнення буфера (Buffer Overflow, BOF) – одна з найнебезпечніших вразливостей у програмному забезпеченні. Вона дозволяє хакерам 💀 отримувати контроль над системами, виконувати довільний код або спричиняти збої.

У цій статті ми розглянемо, як працює BOF, які є види атак ⚠️ та як ефективно захиститися від цієї загрози 🔐.

🔎 Що таке переповнення стека (BOF)?

Переповнення стека виникає, коли програма записує більше даних у буфер, ніж він може вмістити 📏. Це призводить до зміни критично важливих даних у пам’яті 🧠, включаючи адреси повернення, що може дозволити хакеру виконати свій код.

💡 Цікаво: Більшість атак BOF спрямовані на вразливі програми, написані на C або C++ 🖥️, оскільки ці мови не мають вбудованих механізмів захисту від переповнення буфера.

🛠️ Як працює Buffer Overflow?

Щоб зрозуміти механізм атаки, розглянемо класичний приклад уразливого коду на C:

#include <stdio.h>
#include <string.h>

void vulnerable_function(char *input) {
    char buffer[50];
    strcpy(buffer, input); // Вразливий код ❌
    printf("%sn", buffer);
}

int main(int argc, char *argv[]) {
    if (argc > 1) {
        vulnerable_function(argv[1]);
    }
    return 0;
}

📌 У чому проблема?
🚨 Функція strcpy копіює вхідні дані в буфер без перевірки розміру.
🚨 Якщо input містить більше 50 символів, програма запише зайві байти за межі буфера, що може змінити важливі змінні або адресу повернення функції.
🚨 Це відкриває можливість виконання довільного коду хакером 👾.

🔥 Основні типи переповнення буфера

🔴 Переповнення стека (Stack-Based BOF) – змінює адресу повернення функції, що дозволяє запускати зловмисний код.
🔴 Переповнення купи (Heap-Based BOF) – спричиняє порушення цілісності динамічної пам’яті.
🔴 Переповнення керованих буферів – зустрічається в мовах із керованою пам’яттю (Java, C#), але значно рідше.

🕵️ Як хакери експлуатують BOF?

👨‍💻 Основні методи атак:
✔️ Вставка шелл-коду 🐚 в буфер.
✔️ Зміна адреси повернення функції 📍.
✔️ Використання ROP (Return-Oriented Programming) 🏴‍☠️ для обходу захисних механізмів.

🚨 Приклад атаки
Хакер може передати вразливій програмі спеціальний payload 🎯, що містить зловмисний код, який буде виконаний після перезапису пам’яті.

🛡️ Методи захисту від Buffer Overflow

Щоб захистити системи від атак BOF, необхідно застосовувати такі заходи:

✅ 1. Використання безпечних функцій

Замість strcpy, gets, sprintf використовуйте безпечні аналоги:
✔️ strncpy – обмежує кількість копійованих символів.
✔️ fgets – читає рядки з перевіркою розміру буфера.
✔️ snprintf – запобігає переповненню під час форматування рядків.

✅ 2. Захисні механізми операційної системи

💾 DEP (Data Execution Prevention) – забороняє виконання коду в сегменті даних.
🔀 ASLR (Address Space Layout Randomization) – ускладнює передбачення розташування коду в пам’яті.
🛑 Stack Canaries – спеціальні маркери 🏴‍☠️ для виявлення перепису стеку.

✅ 3. Дотримання кібергігієни

✔️ Оновлення програмного забезпечення 🔄.
✔️ Використання статичного та динамічного аналізу коду 🔍.
✔️ Регулярне тестування безпеки додатків (penetration testing) 🛠️.

📌 Висновок

Переповнення буфера (BOF) залишається серйозною кіберзагрозою 🚨.
Щоб уникнути атак, необхідно:
✔️ Писати безпечний код ✍️.
✔️ Використовувати сучасні механізми захисту 🔐.
✔️ Регулярно перевіряти програмне забезпечення на вразливості 🔎.

🤔 Часті запитання (FAQ)

❓ Чи можна повністю усунути загрозу BOF?
🔹 Ні, але сучасні методи захисту значно ускладнюють її експлуатацію 🚧.

❓ Які мови програмування найбільш уразливі до переповнення буфера?
🔹 C та C++ найбільш схильні до BOF, оскільки не мають вбудованих механізмів захисту 🖥️.

❓ Як перевірити, чи моя програма вразлива до BOF?
🔹 Використовуйте інструменти аналізу коду 🛠️:
✔️ AddressSanitizer
✔️ Valgrind
✔️ AFL (American Fuzzy Lop)

❓ Які компанії найбільше постраждали від атак BOF?
🔹 Відомі випадки включають уразливості в Microsoft Windows, Linux, Adobe Flash та інших системах 💻.

❓ Чи впливає BOF на мобільні пристрої?
🔹 Так, особливо на Android-додатки, написані на C або C++ 📱.