ক্যাসপার, লিনাক্স কার্নেলে অনুমানমূলক কোড এক্সিকিউশন সমস্যার জন্য একটি স্ক্যানার, এখন উপলব্ধ

ফ্রি ইউনিভার্সিটি অফ আমস্টারডামের গবেষকদের একটি দল লিনাক্স কার্নেলের কোড স্নিপেটগুলি সনাক্ত করার জন্য ডিজাইন করা একটি ক্যাসপার টুলকিট প্রকাশ করেছে যা প্রসেসরে অনুমানমূলক কোড নির্বাহের কারণে স্পেকটার-শ্রেণীর দুর্বলতাগুলিকে কাজে লাগাতে ব্যবহার করা যেতে পারে। টুলকিটের সোর্স কোড Apache 2.0 লাইসেন্সের অধীনে বিতরণ করা হয়।

আসুন আমরা স্মরণ করি যে স্পেকটার v1 এর মতো আক্রমণ চালানোর জন্য, যা মেমরির বিষয়বস্তু নির্ধারণ করা সম্ভব করে, একটি নির্দিষ্ট অনুক্রমের কমান্ড (গ্যাজেট) এর সুবিধাপ্রাপ্ত কোডে উপস্থিতি প্রয়োজন, যা নির্দেশাবলীর অনুমানমূলক প্রয়োগের দিকে পরিচালিত করে। . অপ্টিমাইজেশনের উদ্দেশ্যে, প্রসেসর অনুমানমূলক মোডে এই জাতীয় গ্যাজেটগুলি চালানো শুরু করে, তারপরে নির্ধারণ করে যে শাখার পূর্বাভাসটি ন্যায়সঙ্গত ছিল না এবং ক্রিয়াকলাপগুলিকে তাদের আসল অবস্থায় ফিরিয়ে আনে, তবে অনুমানমূলক সম্পাদনের সময় প্রক্রিয়াকৃত ডেটা ক্যাশে এবং মাইক্রোআর্কিটেকচারাল বাফারগুলিতে শেষ হয় এবং তৃতীয় পক্ষের চ্যানেলের মাধ্যমে অবশিষ্ট ডেটা নির্ধারণের বিভিন্ন পদ্ধতি ব্যবহার করে তাদের কাছ থেকে পুনরুদ্ধারের জন্য উপলব্ধ।

স্পেকটার দুর্বলতার জন্য গ্যাজেটগুলি স্ক্যান করার জন্য পূর্বে উপলব্ধ সরঞ্জামগুলি, সাধারণ নিদর্শনগুলির অনুসন্ধানের উপর ভিত্তি করে, একটি খুব উচ্চ স্তরের মিথ্যা ইতিবাচক দেখিয়েছিল, যখন অনেকগুলি আসল গ্যাজেট অনুপস্থিত ছিল (পরীক্ষাগুলি দেখায় যে এই জাতীয় সরঞ্জামগুলির দ্বারা চিহ্নিত 99% গ্যাজেটগুলি আক্রমণের জন্য ব্যবহার করা যায়নি৷ , এবং 33% কর্মক্ষম গ্যাজেট যা আক্রমণের দিকে পরিচালিত করতে পারে তা লক্ষ্য করা যায়নি)।

সমস্যাযুক্ত গ্যাজেট সনাক্তকরণের গুণমান উন্নত করতে, ক্যাসপার দুর্বলতাগুলি মডেল করে যা একজন আক্রমণকারী স্পেকটার শ্রেণীর আক্রমণ চালানোর প্রতিটি ধাপে কাজে লাগাতে পারে - যে সমস্যাগুলি ডেটা নিয়ন্ত্রণের অনুমতি দেয় সেগুলি মডেল করা হয় (উদাহরণস্বরূপ, আক্রমণকারী ডেটাকে মাইক্রোআর্কিটেকচারাল কাঠামোতে প্রতিস্থাপন করে পরবর্তী অনুমানমূলক কার্য সম্পাদনকে প্রভাবিত করার জন্য এলভিআই ক্লাস আক্রমণ), গোপনীয় তথ্যে অ্যাক্সেস লাভ (উদাহরণস্বরূপ, বাফার সীমানা অতিক্রম করার সময় বা এটি মুক্ত হওয়ার পরে মেমরি ব্যবহার করে) এবং গোপনীয় তথ্য ফাঁস করা (উদাহরণস্বরূপ, প্রসেসর ক্যাশের অবস্থা বিশ্লেষণ করে বা এমডিএস পদ্ধতি ব্যবহার করে)।

পরীক্ষা করার সময়, কার্নেলটি ক্যাসপার রানটাইম লাইব্রেরির সাথে সংযুক্ত থাকে এবং LLVM স্তরে চলমান পরীক্ষাগুলি। চেকিং প্রক্রিয়া অনুকরণীয় কোড এক্সিকিউশনকে অনুকরণ করে, চেকপয়েন্ট-রিস্টোর মেকানিজম ব্যবহার করে বাস্তবায়িত হয়, যা বিশেষভাবে একটি ভুল ভবিষ্যদ্বাণীকৃত কোড শাখা কার্যকর করে এবং তারপর শাখা শুরু হওয়ার আগে মূল অবস্থায় ফিরে আসে। ক্যাসপার বিভিন্ন সফ্টওয়্যার এবং হার্ডওয়্যার দুর্বলতাগুলিকে অনুকরণ করার চেষ্টা করে, স্থাপত্য এবং মাইক্রোআর্কিটেকচারাল প্রভাবগুলির প্রভাব বিশ্লেষণ করে এবং সম্ভাব্য আক্রমণকারী ক্রিয়াগুলির ফাজ পরীক্ষা করে। এক্সিকিউশন ফ্লো বিশ্লেষণ করতে, লিনাক্স কার্নেলের জন্য ডেটাফ্লো স্যানিটাইজার পোর্ট ব্যবহার করা হয় এবং অস্পষ্ট পরীক্ষার জন্য, সিজক্যালার প্যাকেজের একটি পরিবর্তিত সংস্করণ ব্যবহার করা হয়।

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

উত্স: opennet.ru