تحلیل و بهینه‌سازی خودکار کدهای منبع با ابزارهای تحلیل ایستا (Static Analysis)