सिम्बॉलिक एग्जीक्यूशन (Symbolic Execution)

सिम्बॉलिक एग्जीक्यूशन एक प्रोग्राम विश्लेषण तकनीक है जो वास्तविक इनपुट के बजाय सिम्बॉलिक (गैर-ठोस) मानों का उपयोग करके प्रोग्राम को निष्पादित करती है, और यह ट्रैक करती है कि सिम्बॉलिक मान प्रोग्राम के माध्यम से कैसे प्रवाहित होते हैं। जेम्स सी. किंग द्वारा 1976 में प्रस्तुत, सिम्बॉलिक एग्जीक्यूशन प्रोग्राम चर पर गणितीय बाधाएं बनाता है और यह निर्धारित कर सकता है कि कौन से इनपुट विशिष्ट प्रोग्राम व्यवहार का कारण बनते हैं, जिससे स्वचालित परीक्षण पीढ़ी और भेद्यता का पता लगाना संभव होता है। KLEE, S2E, और Z3 जैसे आधुनिक सिम्बॉलिक एग्जीक्यूशन उपकरण सूक्ष्म बग और सुरक्षा कमजोरियों को खोजने के लिए शक्तिशाली साधन बन गए हैं।