مهندسی نرم‌افزار و تحلیل ایستا