एक त्वरित सुधार के परिणामस्वरूप लिनक्स कर्नेल में स्पेक्टर भेद्यता का अधूरा समाधान हुआ

ग्रासिक्यॉरिटी प्रोजेक्ट के डेवलपर्स साझा एक सावधान करने वाली कहानी जो दर्शाती है कि कैसे बिना सोचे-समझे संकलक चेतावनियों को हटाने से कोड में कमजोरियाँ पैदा हो सकती हैं। मई के अंत में, पीट्रेस सिस्टम कॉल के माध्यम से स्पेक्टर भेद्यता के शोषण के एक नए वेक्टर के लिए लिनक्स कर्नेल के लिए एक फिक्स प्रस्तावित किया गया था।

पैच का परीक्षण करते समय, डेवलपर्स ने देखा कि निर्माण करते समय, कंपाइलर कोड और परिभाषाओं के मिश्रण के बारे में एक चेतावनी प्रदर्शित करता है (कोड के बाद संरचना को परिभाषित किया गया था, मौजूदा चर के लिए एक मान निर्दिष्ट किया गया था):

पूर्णांक सूचकांक = एन;
यदि (n < HBP_NUM) { सूचकांक = array_index_nospec(सूचकांक, HBP_NUM); struct perf_event *bp = thread->ptrace_bps[index];

लिनस ने स्वीकार कर लिया भूल सुधार आपकी मुख्य शाखा को, छुटकारा पा लिया है परिवर्तनीय परिभाषा को if ब्लॉक में ले जाकर चेतावनी से:

यदि (एन < एचबीपी_एनयूएम) {इंट इंडेक्स = एरे_इंडेक्स_नोस्पेक(एन, एचबीपी_एनयूएम); struct perf_event *bp = thread->ptrace_bps[index];

जुलाई में, फिक्स को स्थिर कर्नेल शाखाओं 4.4, 4.9, 4.14, 4.19 और 5.2 में भी पोर्ट किया गया था। स्थिर शाखाओं के अनुरक्षकों को भी चेतावनी का सामना करना पड़ा और, यह देखने के लिए जाँचने के बजाय कि क्या यह लिनुस की मास्टर शाखा में पहले से ही ठीक किया गया था, उन्होंने स्वयं ही इसे ठीक कर दिया। समस्या यह है कि इसके बारे में वास्तव में सोचे बिना, वे बस ले जाया गया संरचना को परिभाषित करना, ताकि array_index_nospec पर कॉल, जो सीधे भेद्यता के खिलाफ सुरक्षा प्रदान करती है, अब संरचना को परिभाषित करते समय उपयोग नहीं किया जाता है, और वेरिएबल "इंडेक्स" के बजाय वेरिएबल "एन" हमेशा उपयोग किया जाता है:

पूर्णांक सूचकांक = एन;
यदि (n <HBP_NUM ){ struct perf_event *bp = thread->ptrace_bps[index];
सूचकांक = array_index_nospec(सूचकांक, HBP_NUM);

स्रोत: opennet.ru