تحلیل استاتیک نرم‌افزار