دوره UEChecker: کشف و تحلیل آسیب‌پذیری فراخوانی خارجی بررسی‌نشده در DApps با استفاده از گراف و یادگیری عمیق همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره UEChecker: کشف و تحلیل آسیب‌پذیری فراخوانی خارجی بررسی‌نشده در DApps با استفاده از گراف و یادگیری عمیق

موضوع کلی: امنیت قراردادهای هوشمند و DApps

موضوع میانی: شناسایی و مقابله با آسیب‌پذیری‌های رایج در DApps

📋 سرفصل‌های دوره

• 1. مبانی قراردادهای هوشمند و بلاکچین
• 2. معرفی اتریوم و ماشین مجازی اتریوم (EVM)
• 3. زبان برنامه‌نویسی سالیدیتی
• 4. اصول اولیه قراردادهای هوشمند
• 5. معماری برنامه‌های غیرمتمرکز (DApps)
• 6. اکوسیستم DApps
• 7. انواع DApps
• 8. چالش‌های امنیت در DApps
• 9. مفهوم آسیب‌پذیری در قراردادهای هوشمند
• 10. دسته‌بندی آسیب‌پذیری‌های رایج در قراردادهای هوشمند
• 11. آسیب‌پذیری بازگشت ناخواسته (Reentrancy)
• 12. آسیب‌پذیری سرریز/زیرریز اعداد صحیح (Integer Overflow/Underflow)
• 13. آسیب‌پذیری عدم اعتبار سنجی ورودی (Unchecked External Calls)
• 14. آسیب‌پذیری مدیریت نادرست دسترسی (Access Control Issues)
• 15. آسیب‌پذیری تراست هاکینگ (Timestamp Dependence)
• 16. آسیب‌پذیری عدم بررسی وضعیت (Unhandled Exceptions)
• 17. آسیب‌پذیری اجرای کد از پیش تعریف نشده (Delegatecall Vulnerabilities)
• 18. آسیب‌پذیری استفاده از توابع آسیب‌پذیر (Use of Deprecated/Vulnerable Functions)
• 19. آسیب‌پذیری تزریق مقادیر (Front-running)
• 20. آسیب‌پذیری نقص در منطق برنامه (Business Logic Flaws)
• 21. آسیب‌پذیری‌های رایج در اوراکل‌ها
• 22. آسیب‌پذیری‌های مرتبط با توکن‌های ERC-20 و ERC-721
• 23. آسیب‌پذیری‌های مرتبط با استیبل کوین‌ها
• 24. مقدمه‌ای بر تحلیل ایستا (Static Analysis)
• 25. مقدمه‌ای بر تحلیل پویا (Dynamic Analysis)
• 26. معرفی ابزارهای تحلیل ایستا برای قراردادهای هوشمند
• 27. معرفی ابزارهای تحلیل پویا برای قراردادهای هوشمند
• 28. محدودیت‌های ابزارهای تحلیل سنتی
• 29. معرفی رویکردهای مبتنی بر گراف در تحلیل امنیت
• 30. نمایش گراف جریان داده (Data Flow Graph)
• 31. نمایش گراف فراخوانی (Call Graph)
• 32. نمایش گراف کنترل جریان (Control Flow Graph)
• 33. ترکیب گراف‌های مختلف برای تحلیل جامع
• 34. مفهوم تحلیل گراف در یافتن آسیب‌پذیری‌های فراخوانی خارجی
• 35. مقدمه‌ای بر مقاله UEChecker
• 36. هدف اصلی UEChecker
• 37. نوآوری‌های UEChecker
• 38. معماری UEChecker
• 39. مراحل اصلی کار UEChecker
• 40. تکنیک‌های استخراج گراف در UEChecker
• 41. نحوه نمایش فراخوانی‌های خارجی در گراف
• 42. شناسایی الگوهای آسیب‌پذیر در گراف
• 43. قوانین اکتشافی (Heuristics) در UEChecker
• 44. کاربرد یادگیری ماشین در UEChecker
• 45. معرفی الگوریتم‌های یادگیری عمیق (Deep Learning)
• 46. شبکه‌های عصبی کانولوشنی (CNN) در تحلیل گراف
• 47. شبکه‌های عصبی بازگشتی (RNN) و LSTM در تحلیل گراف
• 48. گراف عصبی (Graph Neural Networks - GNNs)
• 49. کاربرد GNNs در شناسایی الگوهای آسیب‌پذیر
• 50. تکنیک‌های پیش‌پردازش داده برای GNNs
• 51. نمایش گره‌ها (Nodes) و یال‌ها (Edges) در گراف برای GNNs
• 52. مدل‌سازی آسیب‌پذیری فراخوانی خارجی با GNNs
• 53. آموزش مدل GNN برای شناسایی UEVCs (Unchecked External Call Vulnerabilities)
• 54. مجموعه داده‌های مورد استفاده در UEChecker
• 55. ارزیابی عملکرد UEChecker
• 56. معیارهای ارزیابی: دقت، بازخوانی، F1-Score
• 57. مقایسه UEChecker با ابزارهای موجود
• 58. چالش‌های پیاده‌سازی UEChecker
• 59. مراحل عملیاتی کردن UEChecker
• 60. آماده‌سازی کد سالیدیتی برای تحلیل
• 61. استخراج گراف از کد قرارداد هوشمند
• 62. استفاده از ابزارهای کمکی برای استخراج گراف
• 63. ورودی‌دهی داده‌ها به مدل GNN
• 64. تنظیم پارامترهای مدل GNN
• 65. آموزش مدل بر روی مجموعه داده‌های مرتبط
• 66. اعتبارسنجی مدل با داده‌های جدید
• 67. تفسیر نتایج خروجی UEChecker
• 68. شناسایی موارد مثبت کاذب (False Positives)
• 69. کاهش موارد مثبت کاذب
• 70. شناسایی موارد منفی کاذب (False Negatives)
• 71. افزایش پوشش تشخیص
• 72. کاربرد UEChecker در چرخه عمر توسعه DApp
• 73. ادغام UEChecker در فرآیندهای CI/CD
• 74. پیشگیری از آسیب‌پذیری‌های فراخوانی خارجی
• 75. نوشتن قراردادهای هوشمند امن (Secure Coding Practices)
• 76. روش‌های مقابله با آسیب‌پذیری فراخوانی خارجی
• 77. بررسی نتایج فراخوانی‌های خارجی (Checking Return Values)
• 78. مدیریت خطا در فراخوانی‌های خارجی
• 79. استفاده از الگوهای طراحی امن (Secure Design Patterns)
• 80. الگوهای طراحی برای مدیریت فراخوانی‌های خارجی
• 81. اهمیت تست‌های واحد (Unit Tests) و تست‌های یکپارچگی (Integration Tests)
• 82. تست فازی (Fuzz Testing) برای یافتن آسیب‌پذیری‌ها
• 83. سنتز تست (Symbolic Execution) برای تحلیل عمیق
• 84. چالش‌های مقیاس‌پذیری در تحلیل گراف
• 85. چالش‌های تفسیرپذیری مدل‌های یادگیری عمیق
• 86. آینده UEChecker و تحقیقات مرتبط
• 87. توسعه GNNs پیشرفته‌تر برای امنیت قرارداد هوشمند
• 88. کاربرد UEChecker در تشخیص سایر آسیب‌پذیری‌ها
• 89. ادغام UEChecker با ابزارهای تحلیل زمان اجرا (Runtime Analysis)
• 90. مطالعات موردی (Case Studies) از آسیب‌پذیری‌های فراخوانی خارجی واقعی
• 91. تحلیل آسیب‌پذیری در DApps واقعی با الهام از UEChecker
• 92. درس‌های آموخته از پیاده‌سازی UEChecker
• 93. جمع‌بندی و نتیجه‌گیری