AddressSanitizer لـ C++: دليل شامل لاكتشاف أخطاء الذاكرة

1. ما هو ولماذا تحتاجه

AddressSanitizer (ASan) ليس مكتبة بالمعنى التقليدي، بل أداة قوية لتحليل الكود الديناميكي، مدمجة في المترجمات Clang و GCC. وهو مصمم لاكتشاف أخطاء التعامل مع الذاكرة أثناء تنفيذ البرنامج. طورته فريق Google، وأصبح ASan المعيار الفعلي للبحث عن عيوب خطيرة مثل تجاوز سعة المخزن المؤقت (buffer overflow)، استخدام الذاكرة بعد تحريرها (use-after-free)، التحرير المزدوج (double-free)، وتسرب الذاكرة (memory leaks).

لماذا تحتاجه؟ أخطاء الذاكرة هي من أكثر الأخطاء غدرًا في C++. قد لا تظهر لسنوات، مسببة أعطالًا عشوائية، أو تلفًا في البيانات، أو ثغرات أمنية. أدوات التصحيح التقليدية غالبًا ما تكون عاجزة، لأن البرنامج قد يتعطل بعيدًا عن موقع الخطأ الحقيقي. يحل ASan هذه المشكلة عن طريق تطعيم الكود (instrumenting) أثناء التجميع: يضيف فحوصات حول كل عملية ذاكرة (malloc, new, free, delete, قراءة/كتابة عبر المؤشرات). عند اكتشاف شذوذ، يوقف ASan البرنامج فورًا ويعرض تتبعًا تفصيليًا للمكدس مع تحديد السطر الدقيق للكود، ونوع الخطأ، وحالة الذاكرة.

بالنسبة لموقع PythonLib التعليمي، من المهم أن تفهم: على الرغم من أن Python تدير الذاكرة تلقائيًا، فإن معرفة ASan مفيدة لمطوري C++ الذين يكتبون تطبيقات عالية التحميل أو حساسة للأمان. يتكامل ASan مع خطوط أنابيب CI/CD، مما يسمح باكتشاف الأخطاء قبل وصولها إلى الإنتاج. يعمل على Linux و macOS و Windows و FreeBSD، ويدعم C و C++ و Objective-C.

2. التثبيت

لا يتم تثبيت AddressSanitizer بشكل منفصل - فهو جزء من المترجم. أنت بحاجة إلى Clang (الإصدار 3.1+) أو GCC (الإصدار 4.8+).

تثبيت المترجم (مثال لأوبونتو/ديبيان):

sudo apt update
sudo apt install clang-14  # أو g++-11

لنظام macOS: تتضمن أدوات سطر أوامر Xcode Clang مع ASan.

xcode-select --install

لنظام Windows: استخدم Visual Studio 2019+ (فعّل العلم /fsanitize=address) أو ثبّت Clang عبر LLVM.

التحقق من الدعم:

clang++ -fsanitize=address --version
g++ -fsanitize=address --version

3. بداية سريعة - مثال عملي بسيط

أنشئ ملفًا باسم example.cpp مع خطأ متعمد (استخدام الذاكرة بعد تحريرها):

#include <iostream>

int main() {
    int* p = new int(42);
    delete p;
    std::cout << *p << std::endl;  // خطأ: use-after-free
    return 0;
}

قم بتجميعه وتشغيله مع ASan:

clang++ -fsanitize=address -g -o example example.cpp
./example

سترى تقريرًا مفصلاً يحدد السطر ونوع الخطأ وتتبع المكدس. بدون ASan، كان من الممكن أن يطبع البرنامج 42 أو يتعطل مع segmentation fault.

4. الطرق/الدوال/الفئات الأساسية

لا يوفر AddressSanitizer واجهة برمجة تطبيقات (API) للاستدعاء من الكود - فهو يعمل تلقائيًا. ومع ذلك، توجد وحدات ماكرو ودوال مساعدة للضبط الدقيق والتكامل. دعنا نستعرض 8 عناصر رئيسية.

4.1. __asan_address_is_poisoned()

التوقيع: int __asan_address_is_poisoned(void const *addr);

الوظيفة: تتحقق مما إذا كانت منطقة الذاكرة موسومة بأنها "مسمومة" (غير قابلة للوصول). تُرجع 1 إذا كان العنوان في منطقة مسمومة، وإلا تُرجع 0.

مثال:

#include <sanitizer/asan_interface.h>
#include <iostream>

int main() {
    int* arr = new int[10];
    arr[5] = 100;
    // نتحقق مما إذا كان العنوان arr+10 مسمومًا (خارج حدود المصفوفة)
    if (__asan_address_is_poisoned(arr + 10)) {
        st