أمان تطبيقات C++: أهم 10 ثغرات عملية

أمان تطبيقات C++: أهم 10 ثغرات عملية

C++ هي لغة قوية وعالية الأداء، لكن مرونتها تتطلب مسؤولية عالية من المطور. الأخطاء في إدارة الذاكرة، أو التعامل مع الخيوط، أو الإدخال/الإخراج يمكن أن تؤدي إلى ثغرات خطيرة. في هذه المقالة، سنحلل أهم 10 ثغرات في C++ مع أمثلة عملية للكود وطرق منعها. ستكون المادة مفيدة للمطورين المبتدئين وذوي الخبرة الراغبين في تعزيز أمان مشاريعهم.

1. تجاوز سعة المخزن المؤقت (Buffer Overflow)

ثغرة كلاسيكية تحدث عند كتابة بيانات خارج حدود المصفوفة المخصصة. في C++، تكون خطيرة بشكل خاص عند التعامل مع المصفوفات الخام ودوال C.

#include <iostream>#include <cstring>

void vulnerable(char* input) {    char buffer[10];    strcpy(buffer, input);  // خطير: لا يوجد فحص للطول    std::cout << "Buffer: " << buffer << std::endl;}

int main() {    char longInput[] = "AAAAAAAABBBBBBBBCCCCCCCC";  // 24 حرفًا    vulnerable(longInput);    return 0;}

الحل: استخدم std::string أو strncpy مع فحص صريح للطول. في C++ الحديث، يُفضل استخدام حاويات STL.

void safe(const std::string& input) {    std::string buffer = input.substr(0, 9);  // نسخ آمن    std::cout << "Buffer: " << buffer << std::endl;}

2. تسرب الذاكرة (Memory Leaks)

يحدث تسرب الذاكرة عندما لا يتم تحرير الذاكرة المخصصة ديناميكيًا. في التطبيقات طويلة التشغيل، يؤدي ذلك إلى استنفاد الموارد.

void leakExample() {    int* data = new int[1000];  // تخصيص ذاكرة    // ... العمل مع البيانات ...    // نسيان delete[] data; — تسرب!}

الحل: استخدم المؤشرات الذكية (std::unique_ptr, std::shared_ptr) أو حاويات STL.

void safeExample() {    std::unique_ptr<int[]> data = std::make_unique<int[]>(1000);    // سيتم تحرير الذاكرة تلقائيًا عند الخروج من الدالة}

3. إلغاء الإشارة إلى مؤشر فارغ (Null Pointer Dereference)

محاولة الوصول إلى الذاكرة عبر عنوان nullptr تسبب سلوكًا غير محدد وغالبًا ما تؤدي إلى تعطل البرنامج.

void process(int* ptr) {    *ptr = 42;  // خطير: إذا كان ptr == nullptr}

int main() {    int* p = nullptr;    process(p);  // تعطل}

الحل: تحقق دائمًا من المؤشرات قبل الاستخدام. استخدم المراجع إذا كانت القيمة لا يمكن أن تكون فارغة.

void safeProcess(int* ptr) {    if (ptr == nullptr) {        throw std::invalid_argument("تم استلام مؤشر فارغ");    }    *ptr = 42;}

4. حالة السباق (Race Condition)

تحدث عند وصول عدة خيوط في وقت واحد إلى بيانات مشتركة دون مزامنة.

#include <thread>int counter = 0;

void increment() {    for (int i = 0; i < 100000; ++i) {        counter++;  // عملية غير ذرية — حالة سباق    }}

int main() {    std::thread t1(increment);    std::thread t2(increment);    t1.join();    t2.join();    std::cout << "Counter: " << counter;  // نتيجة غير متوقعة}

الحل: استخدم الميوتكس (mutexes) أو العمليات الذرية.

#include <atomic>std::atomic<int> counter{0};

void safeIncrement() {    for (int i = 0; i < 100000; ++i) {        counter.fetch_add(1);  // عملية ذرية    }}

5. استخدام المتغيرات غير المهيأة

تحتوي المتغيرات غير المهيأة على "قمامة"، مما قد يؤدي إلى سلوك غير متوقع.

int main() {    in