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