বাফার ওভারফ্লো পরিচিতি

১ · বাফার আসলে কী, এবং ওভারফ্লো কীভাবে ঘটে

একটি বাফার (Buffer)Bufferমেমরির একটি ফিক্সড-সাইজ ব্লক, নির্দিষ্ট পরিমাণ ডেটা রাখার জন্য প্রোগ্রাম দ্বারা সংরক্ষিত। মেমরির একটি ফিক্সড-সাইজ ব্লক — যেমন C-তে char buffer[8] লিখলে ঠিক ৮ বাইট সংরক্ষিত হয়। যদি প্রোগ্রামটি সেই বাফারে ২০ বাইট লেখার চেষ্টা করে কোনো দৈর্ঘ্য যাচাই ছাড়াই, তাহলে অতিরিক্ত ১২ বাইট পাশের মেমরিতে "উপচে পড়ে" — এটিই বাফার ওভারফ্লো (Buffer Overflow)Buffer Overflowএকটি ফিক্সড-সাইজ বাফারে তার ধারণক্ষমতার চেয়ে বেশি ডেটা লেখা হলে যে মেমরি-করাপশন ঘটে।।

২ · কীভাবে এটি কোড এক্সিকিউশন পর্যন্ত যেতে পারে (ধারণাগত)

একটি ফাংশন কল হলে, প্রোগ্রামের স্ট্যাক (Stack)Stackমেমরির একটি অঞ্চল যেখানে ফাংশন কল হওয়ার সময় লোকাল ভেরিয়েবল এবং ফাংশনটি শেষে কোথায় ফিরে যাবে তার ঠিকানা (return address) সংরক্ষিত থাকে। -এ লোকাল ভেরিয়েবল (যেমন আমাদের বাফার) এবং তার ঠিক পরেই রিটার্ন অ্যাড্রেস — অর্থাৎ ফাংশনটি শেষ হওয়ার পর প্রোগ্রামের কোথায় ফিরে যাওয়া উচিত তার ঠিকানা — সংরক্ষিত থাকে। যদি বাফার ওভারফ্লো যথেষ্ট বড় হয়, তাহলে এটি এই রিটার্ন অ্যাড্রেসকেও ওভাররাইট করে দিতে পারে। ফাংশনটি রিটার্ন করার সময়, CPU বৈধ কলারের বদলে আক্রমণকারীর নির্ধারিত ঠিকানায় জাম্প করে — এভাবেই একটি মেমরি-করাপশন বাগ সম্পূর্ণ কোড এক্সিকিউশন পর্যন্ত পৌঁছাতে পারে।

৩ · Memory-safe ভাষা কীভাবে এই পুরো বাগ ক্লাস দূর করে

Python, Java, Rust ও Go প্রতিটি অ্যারে/লিস্ট/স্ট্রিং অ্যাক্সেসের সময় স্বয়ংক্রিয়ভাবে bounds-checking করে। সীমার বাইরে অ্যাক্সেস করার চেষ্টা করলে মেমরি নিঃশব্দে করাপ্ট হয় না — বরং একটি এক্সেপশন (Python-এ IndexError) তোলা হয়। এই ডিজাইন সিদ্ধান্তই ক্লাসিক বাফার ওভারফ্লো বাগকে সম্পূর্ণভাবে অসম্ভব করে তোলে এই ভাষাগুলোতে।

৪ · আধুনিক OS/কম্পাইলার মিটিগেশন (মেনশন-স্তরে)

C/C++ কোডে বাফার ওভারফ্লো এখনও সম্ভব হলেও, আধুনিক সিস্টেম একাধিক স্তরের মিটিগেশন যোগ করেছে যা এক্সপ্লয়েট করা কঠিন করে তোলে:

• Stack canary — রিটার্ন অ্যাড্রেসের ঠিক আগে একটি র‍্যান্ডম মান বসানো হয়; ফাংশন রিটার্ন করার আগে সেই মান পরীক্ষা করা হয়। ওভারফ্লো এই canary-কেও ওভাররাইট করলে, প্রোগ্রাম রিটার্ন অ্যাড্রেস ব্যবহার করার আগেই বন্ধ হয়ে যায়।
• ASLR (Address Space Layout Randomization) — প্রতিবার প্রোগ্রাম চালু হওয়ার সময় মেমরি অ্যাড্রেস র‍্যান্ডমাইজ করে, ফলে আক্রমণকারী জানে না ঠিক কোথায় জাম্প করতে হবে।
• DEP/NX (Data Execution Prevention / No-eXecute) — স্ট্যাকের মতো মেমরি অঞ্চলকে non-executable চিহ্নিত করে — আক্রমণকারী কোড সেখানে বসাতে পারলেও, CPU সেটি চালাতে অস্বীকার করে।

৫ · Python-এ একটি নিরাপদ সিমুলেশন

নিচের কোড সেলটি সম্পূর্ণ নিরাপদ — এটি একটি ফিক্সড-সাইজ Python লিস্টকে "বাফার" হিসেবে ব্যবহার করে, দেখাচ্ছে দৈর্ঘ্য যাচাই থাকলে কী হয় বনাম না থাকলে কী হতো। কোনো বাস্তব মেমরি কখনো স্পর্শ করা হচ্ছে না — Python-এ এটি আসলে সম্ভবই নয়।

BUFFER_SIZE = 8

def write_to_buffer_safe(buffer, input_data):
    """সঠিক পদ্ধতি: লেখার আগে দৈর্ঘ্য যাচাই করে।"""
    if len(input_data) > len(buffer):
        raise ValueError(
            f"প্রত্যাখ্যাত: {len(input_data)} বাইট ডেটা {len(buffer)}-বাইট বাফারে ধরবে না"
        )
    for i in range(len(input_data)):
        buffer[i] = input_data[i]
    return buffer

def unsafe_bounds_check_missing(buffer, input_data):
    """C-স্টাইল বাগ সিমুলেশন: length check অনুপস্থিত (আসল মেমরি স্পর্শ করা হচ্ছে না)।"""
    check_performed = len(input_data) <= len(buffer)
    return check_performed

buffer = [0] * BUFFER_SIZE
safe_input = list(range(1, 6))          # ৫ বাইট — বাফারে ধরবে
oversized_input = list(range(1, 15))    # ১৪ বাইট — ৮-বাইট বাফারে ধরবে না

print("বাফারের সাইজ:", BUFFER_SIZE)
print()

try:
    result = write_to_buffer_safe(buffer, safe_input)
    print("নিরাপদ ইনপুট গৃহীত:", result)
except ValueError as e:
    print("প্রত্যাখ্যাত:", e)

print()

try:
    result = write_to_buffer_safe(buffer, oversized_input)
    print("ওভারসাইজড ইনপুট গৃহীত:", result)
except ValueError as e:
    print("নিরাপদ সংস্করণ প্রত্যাখ্যান করল:", e)

print()
check = unsafe_bounds_check_missing(buffer, oversized_input)
print("আনসেফ (C-স্টাইল) সংস্করণে bounds-check পাস হতো?", check)
print("(বাস্তব C কোডে check অনুপস্থিত থাকলে, এই ১৪ বাইট নিঃশব্দে বাফারের বাইরে লেখা হতো)")