ലിനക്സ് കേർണലിലെ ഊഹക്കച്ചവട കോഡ് എക്സിക്യൂഷൻ പ്രശ്നങ്ങൾക്കുള്ള സ്കാനറായ കാസ്പർ ഇപ്പോൾ ലഭ്യമാണ്.

ഫ്രീ യൂണിവേഴ്‌സിറ്റി ഓഫ് ആംസ്റ്റർഡാമിലെ ഒരു സംഘം ഗവേഷകർ ലിനക്‌സ് കേർണലിലെ കോഡ് സ്‌നിപ്പെറ്റുകൾ തിരിച്ചറിയുന്നതിനായി രൂപകൽപ്പന ചെയ്‌ത ഒരു കാസ്‌പർ ടൂൾകിറ്റ് പ്രസിദ്ധീകരിച്ചു, ഇത് പ്രോസസറിലെ ഊഹക്കച്ചവട കോഡ് എക്‌സിക്യൂഷൻ മൂലമുണ്ടാകുന്ന സ്‌പെക്‌റ്റർ ക്ലാസ് കേടുപാടുകൾ പ്രയോജനപ്പെടുത്താൻ ഉപയോഗിക്കാം. ടൂൾകിറ്റിന്റെ സോഴ്സ് കോഡ് Apache 2.0 ലൈസൻസിന് കീഴിലാണ് വിതരണം ചെയ്യുന്നത്.

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

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

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

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

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

അവലംബം: opennet.ru