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