تحلیل ایستا و ارزیابی امنیتی کدهای اجرایی