eBPF मधील भेद्यता जी Specter 4 हल्ल्यापासून संरक्षण करण्यास अनुमती देते

लिनक्स कर्नलमध्ये दोन भेद्यता ओळखल्या गेल्या आहेत ज्या eBPF उपप्रणालीला स्पेक्टर v4 हल्ल्यापासून संरक्षण बायपास करण्यासाठी वापरण्याची परवानगी देतात (SSB, सट्टा स्टोअर बायपास). अनप्रिव्हिलेज्ड बीपीएफ प्रोग्राम वापरून, आक्रमणकर्ता विशिष्ट ऑपरेशन्सच्या सट्टा अंमलबजावणीसाठी परिस्थिती निर्माण करू शकतो आणि कर्नल मेमरीच्या अनियंत्रित क्षेत्रांची सामग्री निर्धारित करू शकतो. कर्नलमधील eBPF उपप्रणालीच्या देखभाल करणार्‍यांना प्रोटोटाइप शोषणात प्रवेश मिळाला जो व्यवहारात हल्ले करण्याची क्षमता दर्शवितो. पॅच (1, 2) च्या स्वरूपात समस्यांचे निराकरण केले गेले आहे, ज्याचा पुढील लिनक्स कर्नल अपडेटमध्ये समावेश केला जाईल. वितरण किटमधील अद्यतने अद्याप तयार केलेली नाहीत (डेबियन, आरएचईएल, एसयूएसई, आर्क, फेडोरा, उबंटू).

स्पेक्टर 4 अटॅक पद्धत अप्रत्यक्ष पत्ता वापरून वैकल्पिक लेखन आणि वाचन ऑपरेशन्सवर प्रक्रिया करताना ऑपरेशन्सच्या सट्टेबाज अंमलबजावणीचा परिणाम काढून टाकल्यानंतर प्रोसेसर कॅशेमध्ये संग्रहित डेटा पुनर्संचयित करण्यावर आधारित आहे. जेव्हा रीड ऑपरेशन लिहिण्याच्या ऑपरेशनचे अनुसरण करते (उदा. mov [rbx + rcx], 0x0; mov rax, [rdx + rsi]), वाचलेल्या पत्त्याचा ऑफसेट अशाच ऑपरेशन्समुळे आधीच ओळखला जाऊ शकतो (वाचन ऑपरेशन्स अधिक वारंवार केले जाते आणि कॅशेमधून वाचन केले जाऊ शकते) आणि प्रोसेसर राइटच्या अप्रत्यक्ष ऑफसेटची गणना होण्याची प्रतीक्षा न करता राइटच्या आधी वाचन करू शकतो.

ऑफसेटची गणना केल्यानंतर, लेखन आणि वाचनासाठी मेमरी क्षेत्रांचा छेदनबिंदू आढळल्यास, प्रोसेसर आधीच अनुमानितपणे प्राप्त केलेले वाचन निकाल टाकून देईल आणि या ऑपरेशनची पुनरावृत्ती करेल. हे वैशिष्ट्य स्टोअर ऑपरेशन अद्याप पूर्ण झालेले नसताना काही पत्त्यावर जुन्या मूल्यामध्ये प्रवेश करण्यासाठी वाचन सूचना देते. अयशस्वी सट्टा ऑपरेशन टाकून दिल्यानंतर, त्याच्या अंमलबजावणीचे ट्रेस कॅशेमध्ये राहतात, त्यानंतर कॅशेमधील सामग्री निर्धारित करण्याच्या पद्धतींपैकी एक पद्धत कॅशे केलेल्या आणि अनकॅशेड डेटामध्ये प्रवेश वेळेतील बदलांच्या विश्लेषणाच्या आधारावर पुनर्प्राप्त करण्यासाठी वापरली जाऊ शकते.

प्रथम असुरक्षा (CVE-2021-35477) BPF कार्यक्रम पडताळणी यंत्रणेतील त्रुटीमुळे उद्भवते. Specter 4 हल्ल्यापासून संरक्षण करण्यासाठी, सत्यापनकर्ता मेमरीमध्ये संभाव्य समस्याप्रधान स्टोअरनंतर अतिरिक्त सूचना जोडतो जे मागील ऑपरेशनचे ट्रेस विस्थापित करण्यासाठी शून्य मूल्य संचयित करते. राइट नल ऑपरेशन खूप वेगवान आणि सट्टेबाजीच्या अंमलबजावणीला ब्लॉक करणे अपेक्षित होते कारण ते फक्त BPF स्टॅक फ्रेमच्या पॉइंटरवर अवलंबून असते. परंतु खरं तर, अशी परिस्थिती निर्माण करणे शक्य झाले आहे ज्या अंतर्गत सट्टेबाज अंमलबजावणीकडे नेणारी सूचना प्रीम्पेटिव्ह स्टोअर ऑपरेशनपूर्वी अंमलात आणली जाऊ शकते.

दुसरी भेद्यता (CVE-2021-3455) या वस्तुस्थितीमुळे आहे की जेव्हा BPF सत्यापनकर्ता संभाव्य धोकादायक मेमरी सेव्ह ऑपरेशन्स ओळखतो, तेव्हा ते BPF स्टॅकच्या सुरू न केलेले क्षेत्र विचारात घेत नाही, ज्यावर प्रथम लेखन ऑपरेशन संरक्षित नाही. हे वैशिष्ट्य स्टोअर सूचना अंमलात आणण्यापूर्वी, एक अनारंभित मेमरी क्षेत्रावर अवलंबून, सट्टा वाचन ऑपरेशन करण्याची शक्यता निर्माण करते. BPF स्टॅकसाठी नवीन मेमरी वाटप केलेल्या मेमरीमध्ये आधीपासून असलेली सामग्री तपासल्याशिवाय वाटप केली जाते आणि BPF प्रोग्रामने मेमरी प्रदेशातील सामग्री हाताळण्याचा एक मार्ग आहे जो नंतर BPF स्टॅकसाठी वाटप केला जाईल.

स्त्रोत: opennet.ru