التنفيذ الرمزي
التنفيذ الرمزي هو أسلوب لتحليل البرامج يقوم بتنفيذ البرامج باستخدام قيم رمزية (غير ملموسة) بدلاً من المدخلات الفعلية، ويتتبع كيفية تدفق القيم الرمزية عبر البرنامج. قدمه جيمس سي. كينغ في عام 1976، ويبني التنفيذ الرمزي قيودًا رياضية على متغيرات البرنامج ويمكنه تحديد المدخلات التي تسبب سلوكيات برنامج معينة، مما يتيح التوليد التلقائي للاختبارات واكتشاف الثغرات الأمنية. أصبحت أدوات التنفيذ الرمزي الحديثة مثل KLEE وS2E وZ3 أدوات قوية لاكتشاف الأخطاء الخفية والثغرات الأمنية.
اقرأ الطريقة كاملة
سجّل الدخول بحساب مجاني لقراءة هذا القسم.
خريطة المناهج
محيط المناهج ذات الصلة — اختر عقدةً للاستكشاف.
المصادر
- King, J. C. (1976). Symbolic execution and program testing. Communications of the ACM, 19(7), 385-394. DOI: 10.1145/360248.360252 ↗
- Cadar, C., & Sen, K. (2013). Symbolic execution for software testing: Three decades later. Communications of the ACM, 56(2), 82-90. DOI: 10.1145/2408776.2408795 ↗
كيف تستشهد بهذه الصفحة
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/ar/cryptography/symbolic-execution
أيُّ منهج؟
ضع هذا المنهج إلى جانب أقرب نظائره واقرأهما جنباً إلى جنب — المكتبة تضع الكتب على الطاولة، والاختيار لك.
- التنقيح (Fuzzing)علم التعمية↔ قارن
- اختبار أمان التطبيقات الثابتعلم التعمية↔ قارن
- تحليل التلويثعلم التعمية↔ قارن