लिनक्स कर्नेलमा स्पेक्टर भेद्यताको लागि अपूर्ण समाधानको परिणाममा एक खराब-विचार गरिएको प्याच

Grsecurity परियोजना को विकासकर्ता साझा गरियो कम्पाइलर चेतावनीहरूको अविवेकी उन्मूलनले कोडमा कमजोरीहरू निम्त्याउन सक्छ भनेर देखाउने सावधानीपूर्ण कथा। मेको अन्त्यमा, ptrace प्रणाली कल मार्फत स्पेक्टर भेद्यताको शोषणको नयाँ भेक्टरको लागि लिनक्स कर्नेलको लागि फिक्स प्रस्ताव गरिएको थियो।

प्याच परीक्षण गर्दा, विकासकर्ताहरूले याद गरे कि निर्माण गर्दा, कम्पाइलरले कोड र परिभाषाहरू मिश्रण गर्ने बारे चेतावनी देखाउँदछ (संरचना कोड पछि परिभाषित गरिएको थियो, अवस्थित चरलाई मान तोक्दै):

int index = n;
यदि (n < HBP_NUM) { सूचकांक = array_index_nospec(सूचकांक, 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 लाई कल गर्नुहोस्, जसले प्रत्यक्ष रूपमा भेद्यता विरुद्ध सुरक्षा प्रदान गर्दछ, संरचना परिभाषित गर्दा अब प्रयोग हुँदैन, र चर "index" को सट्टा चर "n" सधैं प्रयोग गरिन्छ:

int index = n;
यदि (n <HBP_NUM){ struct perf_event *bp = थ्रेड->ptrace_bps[सूचकांक];
index = array_index_nospec(सूचकांक, HBP_NUM);

स्रोत: opennet.ru