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