کتاب صوتی ارتقای پایداری و امنیت نرم‌افزار با استفاده از ابزار تحلیل ایستا Smatch

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

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

عنوان دوره: دوره ارتقای پایداری و امنیت نرم‌افزار با استفاده از ابزار تحلیل ایستا Smatch

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

موضوع میانی: تحلیل ایستا (Static Analysis) در توسعه سیستم‌عامل و درایورهای هسته

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

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