रॅश फिक्समुळे लिनक्स कर्नलमधील स्पेक्टर असुरक्षिततेचे अपूर्ण निराकरण झाले

Grsecurity प्रकल्पाचे विकसक सामायिक केले एक सावधगिरीची कथा जी कंपाइलर चेतावणींचे निष्काळजीपणे निर्मूलन केल्याने कोडमधील असुरक्षा कशा होऊ शकतात हे दर्शविते. मे महिन्याच्या शेवटी, लिनक्स कर्नलसाठी, ptrace सिस्टम कॉलद्वारे स्पेक्टर असुरक्षिततेच्या शोषणाच्या नवीन वेक्टरसाठी एक निराकरण प्रस्तावित केले गेले.

पॅचच्या चाचणीच्या प्रक्रियेत, विकसकांच्या लक्षात आले की तयार करताना, कंपायलर कोड आणि परिभाषा मिसळण्याबद्दल चेतावणी दर्शवितो (संरचना अस्तित्वात असलेल्या व्हेरिएबलला मूल्य नियुक्त करून कोड नंतर परिभाषित केली गेली होती):

int index = n;
जर (n < HBP_NUM) { अनुक्रमणिका = array_index_nospec(index, HBP_NUM); रचना perf_event *bp = थ्रेड->ptrace_bps[इंडेक्स];

लिनसने स्वीकारले दुरुस्ती तुमच्या मुख्य शाखेत, च्यापासून सुटका मिळवणे इफ ब्लॉकमध्ये व्हेरिएबल व्याख्या गुंडाळून चेतावणीपासून:

जर (n < HBP_NUM) { int index = array_index_nospec(n, HBP_NUM); रचना 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 ){ रचना perf_event *bp = थ्रेड->ptrace_bps[इंडेक्स];
index = array_index_nospec(index, HBP_NUM);

स्त्रोत: opennet.ru