કેસ્પર, Linux કર્નલમાં સટ્ટાકીય કોડ એક્ઝેક્યુશન સમસ્યાઓ માટેનું સ્કેનર, હવે ઉપલબ્ધ છે

ફ્રી યુનિવર્સિટી ઓફ એમ્સ્ટર્ડમના સંશોધકોની એક ટીમે Linux કર્નલમાં કોડ સ્નિપેટ્સને ઓળખવા માટે રચાયેલ કેસ્પર ટૂલકિટ પ્રકાશિત કરી છે જેનો ઉપયોગ પ્રોસેસર પર સટ્ટાકીય કોડના અમલીકરણને કારણે સ્પેક્ટર-ક્લાસ નબળાઈઓનું શોષણ કરવા માટે કરી શકાય છે. ટૂલકીટ માટેનો સ્ત્રોત કોડ Apache 2.0 લાયસન્સ હેઠળ વિતરિત કરવામાં આવે છે.

ચાલો યાદ કરીએ કે સ્પેક્ટર v1 જેવા હુમલાઓ કરવા માટે, જે મેમરીની સામગ્રી નક્કી કરવાનું શક્ય બનાવે છે, આદેશોના ચોક્કસ ક્રમ (ગેજેટ્સ)ના વિશેષાધિકૃત કોડમાં હાજરી જરૂરી છે, જે સૂચનાઓના સટ્ટાકીય અમલ તરફ દોરી જાય છે. . ઑપ્ટિમાઇઝેશન હેતુઓ માટે, પ્રોસેસર આવા ગેજેટ્સને સટ્ટાકીય મોડમાં એક્ઝિક્યુટ કરવાનું શરૂ કરે છે, પછી નક્કી કરે છે કે શાખાની આગાહી વાજબી ન હતી અને ઑપરેશન્સને તેમની મૂળ સ્થિતિમાં ફેરવે છે, પરંતુ સટ્ટાકીય અમલ દરમિયાન પ્રક્રિયા કરાયેલ ડેટા કેશ અને માઇક્રોઆર્કિટેક્ચરલ બફર્સમાં સમાપ્ત થાય છે અને તૃતીય-પક્ષ ચેનલો દ્વારા શેષ ડેટા નક્કી કરતી વિવિધ પદ્ધતિઓનો ઉપયોગ કરીને તેમની પાસેથી પુનઃપ્રાપ્તિ માટે ઉપલબ્ધ છે.

સ્પેક્ટર નબળાઈ માટે ગેજેટ્સ સ્કેન કરવા માટે અગાઉ ઉપલબ્ધ સાધનો, લાક્ષણિક પેટર્નની શોધના આધારે, ખોટા હકારાત્મકતાનું ખૂબ જ ઊંચું સ્તર દર્શાવે છે, જ્યારે ઘણા વાસ્તવિક ગેજેટ્સ ખૂટે છે (પ્રયોગો દર્શાવે છે કે આવા સાધનો દ્વારા ઓળખાયેલ 99% ગેજેટ્સ હુમલાઓ માટે ઉપયોગમાં લઈ શકાતા નથી. , અને 33% કાર્યકારી ગેજેટ્સ કે જે હુમલા તરફ દોરી શકે છે તે નોંધવામાં આવ્યું ન હતું).

સમસ્યારૂપ ગેજેટ્સને ઓળખવાની ગુણવત્તા સુધારવા માટે, કેસ્પર નબળાઈઓને મોડેલ કરે છે જેનો હુમલાખોર સ્પેક્ટર વર્ગના હુમલાઓ હાથ ધરવાના દરેક પગલા પર શોષણ કરી શકે છે - સમસ્યાઓ કે જે ડેટા નિયંત્રણને મંજૂરી આપે છે તે મોડેલ કરવામાં આવે છે (ઉદાહરણ તરીકે, હુમલાખોર ડેટાને માઇક્રોઆર્કિટેક્ચરલ સ્ટ્રક્ચર્સમાં બદલીને અનુગામી સટ્ટાકીય અમલીકરણનો ઉપયોગ કરીને LVI વર્ગના હુમલા), ગોપનીય માહિતીની ઍક્સેસ મેળવો (ઉદાહરણ તરીકે, બફરની સીમાઓથી આગળ જતાં અથવા તેને મુક્ત કર્યા પછી મેમરીનો ઉપયોગ કરતી વખતે) અને ગુપ્ત માહિતી લીક કરો (ઉદાહરણ તરીકે, પ્રોસેસર કેશની સ્થિતિનું વિશ્લેષણ કરીને અથવા MDS પદ્ધતિનો ઉપયોગ કરીને).

પરીક્ષણ કરતી વખતે, કર્નલ કેસ્પર રનટાઇમ લાઇબ્રેરીઓ સાથે જોડાયેલ છે અને LLVM સ્તરે ચાલી રહેલ તપાસો. ચેકિંગ પ્રક્રિયા સટ્ટાકીય કોડ એક્ઝેક્યુશનનું અનુકરણ કરે છે, જે ચેકપોઇન્ટ-રિસ્ટોર મિકેનિઝમનો ઉપયોગ કરીને અમલમાં મૂકવામાં આવે છે, જે ખાસ કરીને ખોટી રીતે અનુમાનિત કોડ શાખાને એક્ઝિક્યુટ કરે છે, અને પછી શાખા શરૂ થાય તે પહેલાં મૂળ સ્થિતિમાં પાછા ફરે છે. કેસ્પર વિવિધ સૉફ્ટવેર અને હાર્ડવેર નબળાઈઓનું અનુકરણ કરવાનો પણ પ્રયાસ કરે છે, આર્કિટેક્ચરલ અને માઇક્રોઆર્કિટેક્ચરલ અસરોની અસરનું વિશ્લેષણ કરે છે અને હુમલાખોરની સંભવિત ક્રિયાઓનું અસ્પષ્ટ પરીક્ષણ કરે છે. એક્ઝેક્યુશન ફ્લોનું પૃથ્થકરણ કરવા માટે, Linux કર્નલ માટે DataFlowSanitizer પોર્ટનો ઉપયોગ કરવામાં આવે છે, અને ફઝિંગ ટેસ્ટિંગ માટે, syzkaller પેકેજની સુધારેલી આવૃત્તિનો ઉપયોગ કરવામાં આવે છે.

કેસ્પરનો ઉપયોગ કરીને લિનક્સ કર્નલનું સ્કેન 1379 અગાઉ અજાણ્યા ગેજેટ્સની ઓળખ કરે છે જે સંભવિતપણે સૂચનાઓના સટ્ટાકીય અમલ દરમિયાન ડેટા લિકેજ તરફ દોરી જાય છે. તે નોંધ્યું છે કે કદાચ તેમાંના માત્ર કેટલાક જ વાસ્તવિક સમસ્યાઓ ઊભી કરી શકે છે, પરંતુ તે દર્શાવવા માટે કે ત્યાં એક વાસ્તવિક ખતરો છે, અને માત્ર એક સૈદ્ધાંતિક નથી, સમસ્યારૂપ કોડના ટુકડાઓમાંથી એક માટે શોષણનો કાર્યકારી પ્રોટોટાઇપ વિકસાવવામાં આવ્યો હતો, જે માહિતી તરફ દોરી જાય છે. કર્નલ મેમરીમાંથી લિકેજ.

સોર્સ: opennet.ru