کتاب اصول مهندسی و تحلیل ساختار جریان کنترل (CFG) برای ارتقای امنیت در قراردادهای هوشمند با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

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

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

عنوان دوره: دوره اصول مهندسی و تحلیل ساختار جریان کنترل (CFG) برای ارتقای امنیت در قراردادهای هوشمند

موضوع کلی: امنیت و تحلیل ایستا در سامانه‌های نرم‌افزاری

موضوع میانی: تحلیل امنیت قراردادهای هوشمند در بستر ماشین مجازی اتریوم (EVM)

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

• 1. مبانی و معماری ماشین مجازی اتریوم
• 2. ساختار داده‌ای بایت‌کد در قراردادهای هوشمند
• 3. مفاهیم پایه در تحلیل ایستا و تحلیل پویای کد
• 4. نقش جریان کنترل در تحلیل امنیت نرم‌افزار
• 5. آشنایی با دستورالعمل‌های سطح پایین EVM
• 6. تجزیه و تحلیل بلوک‌های پایه در کدهای باینری
• 7. ساخت گراف جریان کنترل برای قراردادهای هوشمند
• 8. الگوریتم‌های پیمایش گراف در تحلیل ایستا
• 9. شناسایی انشعابات شرطی و غیرشرطی در بایت‌کد
• 10. چالش‌های تحلیل ایستا در محیط‌های مبتنی بر پشته
• 11. استخراج خودکار گراف جریان کنترل از قراردادها
• 12. تحلیل مسیرهای اجرایی در ماشین مجازی اتریوم
• 13. شناسایی نقاط ورود و خروج در توابع قرارداد
• 14. مدیریت پرش‌های غیرمستقیم و جداول پرش
• 15. تشخیص کدهای مرده و بخش‌های غیرقابل دسترس
• 16. بررسی صحت ساختار گراف در مقابل منطق قرارداد
• 17. پیاده‌سازی تکنیک‌های تحلیل ایستا برای شناسایی آسیب‌پذیری‌ها
• 18. شناسایی الگوهای مشکوک در جریان کنترل
• 19. تحلیل وابستگی داده‌ای و ارتباط آن با جریان کنترل
• 20. کاهش پیچیدگی گراف برای تحلیل بهینه
• 21. اعتبارسنجی قراردادهای هوشمند با استفاده از مدل‌های گراف
• 22. تکنیک‌های رفع ابهام در تحلیل بایت‌کد
• 23. بهینه‌سازی تحلیل ایستا با استفاده از فرم‌های SSA
• 24. شناسایی حلقه‌های اجرایی و تحلیل توقف‌پذیری
• 25. بررسی امنیت فراخوانی‌های بین‌قراردادی در گراف جریان
• 26. ارزیابی آسیب‌پذیری‌های منطقی با تحلیل ساختاری
• 27. استفاده از تحلیل ایستا در ابزارهای خودکار امنیتی
• 28. گزارش‌دهی و تفسیر نتایج تحلیل ساختار جریان کنترل
• 29. یکپارچه‌سازی تحلیل ایستا در چرخه حیات توسعه نرم‌افزار
• 30. مطالعه موردی تحلیل امنیت قراردادهای مالی با روش CFG