کتاب صوتی پیاده‌سازی تحلیل جریان داده در SETL2: از مبانی نظری تا پیاده‌سازی عملی

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

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

عنوان دوره: دوره پیاده‌سازی تحلیل جریان داده در SETL2: از مبانی نظری تا پیاده‌سازی عملی

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

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

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

• 1. مبانی تحلیل برنامه و جایگاه تحلیل جریان داده
• 2. معرفی زبان SETL2 و ویژگی‌های مجموعه‌محور آن
• 3. ساختار نحوی و معنایی SETL2
• 4. تفاوت SETL2 با زبان‌های رویه‌ای سنتی در تحلیل داده
• 5. مبانی گراف جریان کنترل (CFG)
• 6. ساخت گراف جریان کنترل برای برنامه‌های SETL2
• 7. گره‌ها، یال‌ها و بلوک‌های پایه در CFG
• 8. مسیرها و مسیرهای اجرایی در تحلیل جریان داده
• 9. مبانی شبکه جریان داده
• 10. معادلات جریان داده و حل آن‌ها
• 11. تحلیل جریان داده پیش‌رو و پس‌رو
• 12. تحلیل ممکن و قطعی در جریان داده
• 13. مفهوم Join و Meet در شبکه‌های جریان داده
• 14. شبکه‌های توزیعی و چارچوب مونوتون
• 15. قضیه نقطه ثابت و همگرایی تحلیل
• 16. الگوریتم‌های تکراری برای حل معادلات جریان داده
• 17. الگوریتم Worklist و بهینه‌سازی آن
• 18. پیاده‌سازی تحلیل دسترسی به متغیرها
• 19. تحلیل زنده‌بودن متغیرها (Liveness Analysis)
• 20. تحلیل متغیرهای مرده و حذف کد مرده
• 21. تحلیل دسترسی‌پذیری و کد غیرقابل دسترس
• 22. تحلیل عبارات در دسترس (Available Expressions)
• 23. تحلیل عبارات بسیار در دسترس (Very Busy Expressions)
• 24. تحلیل توزیع ثابت‌ها (Constant Propagation)
• 25. تحلیل انتشار کپی (Copy Propagation)
• 26. تحلیل بازه‌ها و تحلیل مقادیر
• 27. تحلیل وابستگی داده در SETL2
• 28. تحلیل وابستگی داده در ساختارهای مجموعه‌ای
• 29. تحلیل جریان داده در حلقه‌ها
• 30. تحلیل جریان داده در توابع و رویه‌ها
• 31. تحلیل میان‌رویه‌ای (Interprocedural Analysis)
• 32. گراف فراخوانی و تحلیل آن در SETL2
• 33. مدل‌سازی اثرات جانبی در SETL2
• 34. تحلیل جریان داده در ساختارهای کنترلی غیرمعمول
• 35. تحلیل جریان داده و بهینه‌سازی کد
• 36. استفاده از تحلیل جریان داده در حذف کد اضافی
• 37. بهینه‌سازی تخصیص متغیرها با تحلیل جریان داده
• 38. تحلیل جریان داده و موازی‌سازی برنامه
• 39. تحلیل جریان داده در مجموعه‌ها و نگاشت‌ها
• 40. پیاده‌سازی تحلیل جریان داده با SETL2
• 41. پیاده‌سازی گراف جریان کنترل در SETL2
• 42. پیاده‌سازی شبکه جریان داده در SETL2
• 43. پیاده‌سازی الگوریتم Worklist در SETL2
• 44. پیاده‌سازی تحلیل زنده‌بودن در SETL2
• 45. پیاده‌سازی تحلیل عبارات در دسترس در SETL2
• 46. پیاده‌سازی تحلیل توزیع ثابت در SETL2
• 47. پیاده‌سازی تحلیل میان‌رویه‌ای در SETL2
• 48. ارزیابی کارایی پیاده‌سازی تحلیل جریان داده
• 49. آزمون و اعتبارسنجی تحلیل جریان داده
• 50. اشکال‌زدایی تحلیل‌های جریان داده
• 51. مقایسه رویکردهای پیاده‌سازی تحلیل جریان داده
• 52. مطالعه موردی: تحلیل یک برنامه SETL2 واقعی
• 53. پروژه عملی: پیاده‌سازی یک چارچوب تحلیل جریان داده در SETL2