ביצוע סמלי
ביצוע סמלי (Symbolic execution) הוא טכניקת ניתוח תוכנה המריצה תוכניות תוך שימוש בערכים סמליים (ולא קונקרטיים) במקום בקלט ממשי, ועוקבת אחר זרימת הערכים הסמליים בתוכנית. טכניקה זו, שהוצגה על ידי ג'יימס סי. קינג (James C. King) בשנת 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/he/cryptography/symbolic-execution
איזו שיטה?
הציבו שיטה זו לצד קרובותיה הקרובות וקראו אותן זו לצד זו — הספרייה מניחה את הספרים על השולחן; הבחירה בידיכם.
- פאזינגקריפטוגרפיה↔ השוואה
- בדיקות אבטחה סטטיות של יישומיםקריפטוגרפיה↔ השוואה
- ניתוח זיהוםקריפטוגרפיה↔ השוואה