একটি ফুসকুড়ি ফিক্সের ফলে লিনাক্স কার্নেলে একটি স্পেকটার দুর্বলতার জন্য একটি অসম্পূর্ণ সমাধান হয়েছে

গ্রসিকিউরিটি প্রকল্পের বিকাশকারীরা ভাগ করা কম্পাইলার সতর্কতা কিভাবে চিন্তাহীনভাবে নির্মূল করা কোডে দুর্বলতার দিকে নিয়ে যেতে পারে তা প্রদর্শন করে একটি সতর্কতামূলক গল্প। মে মাসের শেষে, ptrace সিস্টেম কলের মাধ্যমে স্পেকটার দুর্বলতার শোষণের একটি নতুন ভেক্টরের জন্য লিনাক্স কার্নেলের জন্য একটি সংশোধনের প্রস্তাব করা হয়েছিল।

প্যাচটি পরীক্ষা করার সময়, বিকাশকারীরা লক্ষ্য করেছেন যে নির্মাণের সময়, কম্পাইলার কোড এবং সংজ্ঞার মিশ্রণ সম্পর্কে একটি সতর্কতা প্রদর্শন করে (কোডের পরে কাঠামোটি সংজ্ঞায়িত করা হয়েছিল, একটি বিদ্যমান ভেরিয়েবলের জন্য একটি মান নির্ধারণ করে):

int index = n;
যদি (n < HBP_NUM) { index = array_index_nospec(index, HBP_NUM); struct perf_event *bp = থ্রেড->ptrace_bps[সূচক];

লিনাস মেনে নিলেন সংশোধন আপনার মাস্টার শাখায়, পরিত্রাণ পাওয়া পরিবর্তনশীল সংজ্ঞাটিকে একটি if ব্লকে সরিয়ে সতর্কতা থেকে:

যদি (n < HBP_NUM) { int index = array_index_nospec(n, HBP_NUM); struct perf_event *bp = থ্রেড->ptrace_bps[সূচক];

জুলাই মাসে, ফিক্সটি স্থির কার্নেল শাখা 4.4, 4.9, 4.14, 4.19 এবং 5.2-এ পোর্ট করা হয়েছিল। স্থিতিশীল শাখাগুলির রক্ষণাবেক্ষণকারীরাও সতর্কতার সম্মুখীন হয়েছিল এবং লিনাসের মাস্টার শাখায় এটি ইতিমধ্যেই ঠিক করা হয়েছে কিনা তা পরীক্ষা করার পরিবর্তে, তারা নিজেরাই একটি সংশোধন করেছে। সমস্যা হল যে সত্যিই এটা সম্পর্কে চিন্তা না করে, তারা শুধু সরানো কাঠামোকে সংজ্ঞায়িত করা, যাতে array_index_nospec-তে কল, যা সরাসরি দুর্বলতার বিরুদ্ধে সুরক্ষা প্রদান করে, গঠনটি সংজ্ঞায়িত করার সময় আর ব্যবহার করা হয় না, এবং পরিবর্তনশীল "সূচক" পরিবর্তনশীল "n" সর্বদা ব্যবহার করা হয়:

int index = n;
যদি (n < HBP_NUM ){ struct perf_event *bp = থ্রেড->ptrace_bps[সূচক];
index = array_index_nospec(index, HBP_NUM);

উত্স: opennet.ru