اجرای نمادین
اجرای نمادین یک تکنیک تحلیل برنامه است که برنامهها را با استفاده از مقادیر نمادین (غیرقطعی) به جای ورودیهای واقعی اجرا میکند و جریان مقادیر نمادین را در برنامه ردیابی میکند. اجرای نمادین که در سال ۱۹۷۶ توسط جیمز سی. کینگ معرفی شد، محدودیتهای ریاضی بر روی متغیرهای برنامه ایجاد میکند و میتواند تعیین کند که کدام ورودیها باعث رفتارهای خاص برنامه میشوند و امکان تولید خودکار تست و تشخیص آسیبپذیری را فراهم میکند. ابزارهای مدرن اجرای نمادین مانند 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/fa/cryptography/symbolic-execution
کدام روش؟
این روش را در کنار نزدیکترین روشهای خویشاوندش بگذارید و آنها را کنار هم بخوانید — کتابخانه کتابها را روی میز میگشاید؛ انتخاب با شماست.
- فازینگرمزنگاری↔ مقایسه
- آزمون ایستا برای امنیت برنامههای کاربردیرمزنگاری↔ مقایسه
- تحلیل آلودگیرمزنگاری↔ مقایسه
ارجاعشده در
در این صفحه مشکلی دیدید؟ گزارش دهید یا اصلاحی پیشنهاد کنید →