ફોલ્લીઓના સુધારાને પરિણામે Linux કર્નલમાં સ્પેક્ટર નબળાઈ માટે અપૂર્ણ સુધારો થયો

Grsecurity પ્રોજેક્ટના વિકાસકર્તાઓ વહેંચાયેલ એક સાવચેતીભરી વાર્તા જે દર્શાવે છે કે કમ્પાઈલર ચેતવણીઓને કેવી રીતે બેદરકાર દૂર કરવાથી કોડમાં નબળાઈઓ થઈ શકે છે. મેના અંતમાં, Linux કર્નલ માટે, ptrace સિસ્ટમ કોલ દ્વારા સ્પેક્ટર નબળાઈના શોષણના નવા વેક્ટર માટે ફિક્સની દરખાસ્ત કરવામાં આવી હતી.

પેચના પરીક્ષણની પ્રક્રિયામાં, વિકાસકર્તાઓએ નોંધ્યું કે જ્યારે નિર્માણ કરવામાં આવે છે, ત્યારે કમ્પાઇલર મિશ્રણ કોડ અને વ્યાખ્યાઓ વિશે ચેતવણી પ્રદર્શિત કરે છે (સંરચના વર્તમાન ચલને મૂલ્ય અસાઇન કરીને કોડ પછી વ્યાખ્યાયિત કરવામાં આવી હતી):

int index = n;
જો (n < HBP_NUM) { અનુક્રમણિકા = array_index_nospec(index, HBP_NUM); struct perf_event *bp = થ્રેડ->ptrace_bps[ઇન્ડેક્સ];

લિનસ સ્વીકાર્યું કરેક્શન તમારી મુખ્ય શાખામાં, છુટકારો મેળવવો ચલ વ્યાખ્યાને if બ્લોકમાં લપેટીને ચેતવણીમાંથી:

જો (n < HBP_NUM) { int index = array_index_nospec(n, HBP_NUM); struct 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