ردیابی و حذف پنیک‌ها در زبان زنگ (Rust) با ابزار Call Graph Analyzer

ابزار Call Graph Analyzer (CGA) بهعنوان یک راهکار جدید برای استخراج گراف فراخوانی (Call Graph) از کدهای مونوبرم‌شده در سطح MIR زبان Rust توسعه یافته است. این ابزار با همکاری مایکروسافت و در قالب شراکت Open Device Partnership ساخته شده تا به توسعه‌دهندگان در ردیابی و حذف پنیک‌های ناخواسته کمک کند.

چرا حذف پنیک‌ها اهمیت دارد؟

در زبان Rust، مکانیزم panic برای مدیریت خطاهای غیرقابل‌برگشت استفاده می‌شود؛ خطاهایی مانند سرریز عدد (Overflow) یا نقض پیش‌شرط‌های ورودی. هرچند حذف کامل پنیک‌ها کاری دشوار و گاهی غیرمنطقی است، اما در برخی سناریوها باید به حداقل برسند:

• دستگاه‌های امبدد (Embedded Systems): پنیک‌ها حجم باینری را به دلیل رشته‌های متنی و کدهای قالب‌بندی بهشدت افزایش می‌دهند.
• مسیرهای بحرانی و سرویس‌های خارجی: سرویس‌هایی که در معرض حملات Denial of Service قرار دارند نباید با یک ورودی نامعتبر کرش کنند.
• کدهای مدیریت پنیک: اجتناب از خطاهای مرگبار مانند double-drop در هنگام بازگشایی پشته.

رویکردهای قبلی و مقایسه آن‌ها

پیش از CGA، راه‌های مختلفی برای شناسایی پنیک‌ها وجود داشت که هرکدام نقاط ضعف خود را داشتند:

• روش‌های مبتنی بر Linker (مانند no-panic): تنها روی فایل‌های باینری نهایی کار می‌کنند و اگر حتی یک پنیک در کد وجود داشته باشد، شکست می‌خورند.
• تحلیل اطلاعات دیباگ ELF/DWARF: به دلیل بهینه‌سازی‌های کامپایلر و Inlining، اطلاعات کامل گراف فراخوانی از دست می‌رود.
• تحلیل‌های مبتنی بر HIR و rust-analyzer: ابزارهایی مانند HIR تنها کدهای درون کریت خود توسعه‌دهنده را می‌بینند و از پنیک‌های کتابخانه استاندارد یا وابستگی‌ها بی‌خبرند.

برخلاف روش‌های فوق، CGA با تکیه بر ساختار MIR (مرحله‌ای میانی در کامپایلر Rust) قادر است تمام کدها، از جمله وابستگی‌ها و کتابخانه استاندارد را قبل از حذف کدهای مرده توسط LLVM بررسی کند.

نحوه کارکرد Call Graph Analyzer

ابزار CGA بهعنوان یک rustc-driver پیاده‌سازی شده است؛ یعنی دقیقاً مشابه ابزار Clippy به نسخه‌ای خاص از کامپایلر Rust وابسته است. هنگام اجرای دستور cargo cga check، کامپایلر فرآیند بررسی را مشابه cargo check انجام می‌دهد اما با این تفاوت که CGA از این مرحله برای استخراج گراف فراخوانی استفاده می‌کند.

فرآیند کار با عبور از مراحل زیر انجام می‌شود:

• کامپایلر پس از اجرای بررسی‌های استاندارد، نقاط ورود (Roots یا Entrypoints) برنامه مانند تابع main، نمادهای _start و توابع دارای no_mangle (مانند وقفه‌ها در Embedded Rust) را استخراج می‌کند.
• گراف فراخوانی از ریشه‌ها به سمت پایین پیمایش می‌شود.
• در صورت برخورد با توابعی که می‌توانند ایجاد پنیک کنند، خطا یا هشدار صادر می‌شود.

به عنوان مثال، اجرای کد 2u64.strict_sub(u64::MAX) با خطای زیر توسط CGA مواجه می‌شود:

error: call to method core::num::<impl u64>::strict_sub which can panic --> src/main.rs:18:17

چرا این ابزار برای مهندسان مهم است؟

برای توسعه‌دهندگانی که روی نرم‌افزارهای حساس، سیستم‌های بلادرنگ یا سخت‌افزارهای محدود کار می‌کنند، آگاهی از نقاطی که برنامه ممکن است دچار Unwind یا Crash شود حیاتی است. ابزار CGA به تیم‌های مهندسی اجازه می‌دهد بدون نیاز به تحلیل دستی کدهای کامپایل‌شده، پایداری برنامه‌های خود را افزایش دهند و از بروز خطاهای غیرمنتظره در محیط پروداکشن جلوگیری کنند.