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