ഒരു കേർണൽ സ്‌പെക്കുലേറ്റീവ് എക്സിക്യൂഷൻ സ്കാനറായ കാസ്പർ ഇപ്പോൾ ലഭ്യമാണ്. Linux

വ്രിജെ യൂണിവേഴ്സിറ്റി ആംസ്റ്റർഡാമിലെ ഒരു കൂട്ടം ഗവേഷകർ, കേർണൽ കണ്ടെത്തുന്നതിനായി രൂപകൽപ്പന ചെയ്ത കാസ്പർ ടൂൾകിറ്റ് പ്രസിദ്ധീകരിച്ചു. Linux പ്രോസസ്സറിലെ സ്പെക്യുലേറ്ററി കോഡ് എക്സിക്യൂഷൻ മൂലമുണ്ടാകുന്ന സ്പെക്ടർ-ക്ലാസ് ദുർബലതകൾ ചൂഷണം ചെയ്യാൻ ഉപയോഗിക്കാവുന്ന കോഡ് സ്നിപ്പെറ്റുകൾ. ടൂൾകിറ്റിന്റെ സോഴ്സ് കോഡ് അപ്പാച്ചെ 2.0 ലൈസൻസിന് കീഴിലാണ് വിതരണം ചെയ്യുന്നത്.

മെമ്മറിയുടെ ഉള്ളടക്കം നിർണ്ണയിക്കുന്നത് സാധ്യമാക്കുന്ന സ്പെക്റ്റർ v1 പോലുള്ള ആക്രമണങ്ങൾ നടത്താൻ, ഒരു നിശ്ചിത ശ്രേണി കമാൻഡുകളുടെ (ഗാഡ്‌ജെറ്റുകളുടെ) പ്രത്യേക കോഡിലെ സാന്നിധ്യം ആവശ്യമാണെന്ന് നമുക്ക് ഓർക്കാം, ഇത് നിർദ്ദേശങ്ങൾ ഊഹക്കച്ചവടത്തിലേക്ക് നയിക്കുന്നു. . ഒപ്റ്റിമൈസേഷൻ ആവശ്യങ്ങൾക്കായി, പ്രോസസർ അത്തരം ഗാഡ്‌ജെറ്റുകൾ ഊഹക്കച്ചവട മോഡിൽ എക്‌സിക്യൂട്ട് ചെയ്യാൻ തുടങ്ങുന്നു, തുടർന്ന് ബ്രാഞ്ച് പ്രവചനം ന്യായീകരിക്കപ്പെടുന്നില്ലെന്ന് നിർണ്ണയിക്കുകയും പ്രവർത്തനങ്ങളെ അവയുടെ യഥാർത്ഥ അവസ്ഥയിലേക്ക് മാറ്റുകയും ചെയ്യുന്നു, എന്നാൽ ഊഹക്കച്ചവട സമയത്ത് പ്രോസസ്സ് ചെയ്ത ഡാറ്റ കാഷെയിലും മൈക്രോ ആർക്കിടെക്ചറൽ ബഫറുകളിലും അവസാനിക്കുന്നു. മൂന്നാം കക്ഷി ചാനലുകൾ വഴി അവശിഷ്ട ഡാറ്റ നിർണ്ണയിക്കുന്ന വിവിധ രീതികൾ ഉപയോഗിച്ച് അവയിൽ നിന്ന് വീണ്ടെടുക്കുന്നതിന് ലഭ്യമാണ്.

സാധാരണ പാറ്റേണുകൾക്കായി തിരയുന്നതിനെ അടിസ്ഥാനമാക്കി സ്‌പെക്റ്റർ ദുർബലതയ്‌ക്കായി ഗാഡ്‌ജെറ്റുകൾ സ്‌കാൻ ചെയ്യുന്നതിന് മുമ്പ് ലഭ്യമായ ടൂളുകൾ, തെറ്റായ പോസിറ്റീവുകളുടെ ഉയർന്ന തലം കാണിച്ചു, അതേസമയം പല യഥാർത്ഥ ഗാഡ്‌ജെറ്റുകളും നഷ്‌ടപ്പെട്ടു (പരീക്ഷണങ്ങൾ കാണിക്കുന്നത് അത്തരം ഉപകരണങ്ങൾ തിരിച്ചറിഞ്ഞ 99% ഗാഡ്‌ജെറ്റുകളും ആക്രമണങ്ങൾക്കായി ഉപയോഗിക്കാനാവില്ല എന്നാണ്. , കൂടാതെ ആക്രമണത്തിലേക്ക് നയിച്ചേക്കാവുന്ന പ്രവർത്തിക്കുന്ന ഗാഡ്‌ജെറ്റുകളുടെ 33% ശ്രദ്ധയിൽപ്പെട്ടില്ല).

പ്രശ്‌നകരമായ ഗാഡ്‌ജെറ്റുകൾ തിരിച്ചറിയുന്നതിന്റെ ഗുണമേന്മ മെച്ചപ്പെടുത്തുന്നതിന്, സ്‌പെക്‌റ്റർ ക്ലാസ് ആക്രമണങ്ങളുടെ ഓരോ ഘട്ടത്തിലും ആക്രമണകാരിക്ക് ചൂഷണം ചെയ്യാൻ കഴിയുന്ന കേടുപാടുകൾ കാസ്‌പർ മാതൃകയാക്കുന്നു - ഡാറ്റ നിയന്ത്രണം അനുവദിക്കുന്ന പ്രശ്‌നങ്ങൾ മാതൃകയാക്കുന്നു (ഉദാഹരണത്തിന്, ആക്രമണകാരി ഡാറ്റയെ മൈക്രോ ആർക്കിടെക്ചറൽ ഘടനകളിലേക്ക് മാറ്റിസ്ഥാപിക്കുന്നു. എൽവിഐ ക്ലാസ് ആക്രമണങ്ങൾ), രഹസ്യാത്മക വിവരങ്ങളിലേക്കുള്ള ആക്‌സസ് നേടുക (ഉദാഹരണത്തിന്, ബഫർ അതിരുകൾക്കപ്പുറത്തേക്ക് പോകുമ്പോൾ അല്ലെങ്കിൽ അത് സ്വതന്ത്രമാക്കിയതിന് ശേഷം മെമ്മറി ഉപയോഗിക്കുമ്പോൾ) കൂടാതെ രഹസ്യാത്മക വിവരങ്ങൾ ചോർത്തുക (ഉദാഹരണത്തിന്, പ്രോസസ്സർ കാഷെയുടെ അവസ്ഥ വിശകലനം ചെയ്യുന്നതിലൂടെയോ അല്ലെങ്കിൽ എംഡിഎസ് രീതി ഉപയോഗിച്ച്).

പരിശോധനയ്ക്കിടെ, കേർണൽ കാസ്പർ റൺടൈം ലൈബ്രറികളുമായും LLVM അടിസ്ഥാനമാക്കിയുള്ള പരിശോധനകളുമായും ആശയവിനിമയം നടത്തുന്നു. തെറ്റായി പ്രവചിക്കപ്പെട്ട ഒരു കോഡ് ബ്രാഞ്ച് മനഃപൂർവ്വം എക്സിക്യൂട്ട് ചെയ്യുകയും ബ്രാഞ്ച് സംഭവിക്കുന്നതിന് മുമ്പ് യഥാർത്ഥ അവസ്ഥയിലേക്ക് തിരികെ പോകുകയും ചെയ്യുന്ന ഒരു ചെക്ക്‌പോയിന്റ്-റീസ്റ്റോർ മെക്കാനിസം ഉപയോഗിച്ച് ഈ പരിശോധന ഊഹക്കച്ചവട കോഡ് എക്സിക്യൂഷനെ അനുകരിക്കുന്നു. വിവിധ സോഫ്റ്റ്‌വെയർ, ഹാർഡ്‌വെയർ ദുർബലതകൾ അനുകരിക്കാനും, ആർക്കിടെക്ചറൽ, മൈക്രോ ആർക്കിടെക്ചറൽ ഇഫക്റ്റുകളുടെ ആഘാതം വിശകലനം ചെയ്യാനും, സാധ്യമായ ആക്രമണകാരി പ്രവർത്തനങ്ങളുടെ ഫസ്സിംഗ് ടെസ്റ്റുകൾ നടത്താനും കാസ്പർ ശ്രമിക്കുന്നു. എക്സിക്യൂഷൻ ഫ്ലോ വിശകലനത്തിനായി ഡാറ്റഫ്ലോസാനിറ്റൈസർ കേർണൽ പോർട്ട് ഉപയോഗിക്കുന്നു. Linux, കൂടാതെ syzkaller പാക്കേജിന്റെ പരിഷ്കരിച്ച പതിപ്പ് പരീക്ഷിക്കുന്നതിനായി.

കേർണൽ സ്കാനിംഗ് സമയത്ത് Linux കാസ്പർ ഉപയോഗിച്ച്, മുമ്പ് അറിയപ്പെടാത്ത 1379 ഗാഡ്‌ജെറ്റുകൾ തിരിച്ചറിഞ്ഞു, അവ അനുമാന നിർദ്ദേശ നിർവ്വഹണ സമയത്ത് ഡാറ്റ ചോർച്ചയ്ക്ക് കാരണമാകും. ഇവയിൽ ഒരു ഉപവിഭാഗം മാത്രമേ യഥാർത്ഥ പ്രശ്‌നങ്ങൾ സൃഷ്ടിച്ചേക്കൂ എന്ന് ശ്രദ്ധിക്കപ്പെടുന്നു, എന്നാൽ സൈദ്ധാന്തികമായി മാത്രമല്ല, യഥാർത്ഥമായ ഒരു ഭീഷണി ഉണ്ടെന്ന് തെളിയിക്കാൻ, കേർണൽ മെമ്മറിയിൽ നിന്ന് വിവര ചോർച്ചയ്ക്ക് കാരണമാകുന്ന പ്രശ്‌നകരമായ കോഡ് ശകലങ്ങളിൽ ഒന്നിനായി ഒരു പ്രോട്ടോടൈപ്പ് ചൂഷണം വികസിപ്പിച്ചെടുത്തു.

അവലംബം: opennet.ru