تحلیل ایستا (Static Analysis) و بهینه‌سازی الگوریتم‌ها