সিম্বলিক এক্সিকিউশন
সিম্বলিক এক্সিকিউশন হলো একটি প্রোগ্রাম বিশ্লেষণ কৌশল যা প্রকৃত ইনপুটের পরিবর্তে সিম্বলিক (অ-কংক্রিট) মান ব্যবহার করে প্রোগ্রাম এক্সিকিউট করে এবং প্রোগ্রামের মাধ্যমে সিম্বলিক মানগুলি কীভাবে প্রবাহিত হয় তা ট্র্যাক করে। জেমস সি. কিং কর্তৃক ১৯৭৬ সালে প্রবর্তিত, সিম্বলিক এক্সিকিউশন প্রোগ্রাম ভেরিয়েবলগুলির উপর গাণিতিক সীমাবদ্ধতা তৈরি করে এবং কোন ইনপুটগুলি নির্দিষ্ট প্রোগ্রাম আচরণের কারণ হয় তা নির্ধারণ করতে পারে, যা স্বয়ংক্রিয় পরীক্ষা তৈরি এবং দুর্বলতা সনাক্তকরণ সক্ষম করে। 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/bn/cryptography/symbolic-execution
কোন পদ্ধতি?
এই পদ্ধতিটিকে তার নিকটতম সমগোত্রীয়দের পাশে রাখুন এবং পাশাপাশি পড়ুন — গ্রন্থাগার বইগুলি টেবিলে সাজিয়ে দেয়; নির্বাচন আপনার।
- ফ াজিংক্রিপ্টোগ্রাফি↔ তুলনা করুন
- স্ট্যাটিক অ্যাপ্লিকেশন সিকিউরিটি টেস্টিংক্রিপ্টোগ্রাফি↔ তুলনা করুন
- টেইন্ট অ্যানালাইসিসক্রিপ্টোগ্রাফি↔ তুলনা করুন
যেখানে উদ্ধৃত
এই পৃষ্ঠায় কোনো ত্রুটি চোখে পড়েছে? জানান বা সংশোধনের প্রস্তাব দিন →