ഫേസ്ബുക്ക് ഓപ്പൺ സോഴ്‌സ് മരിയാന ട്രെഞ്ച് സ്റ്റാറ്റിക് അനലൈസർ

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

Facebook, Instagram, Whatsapp എന്നിവയ്‌ക്കായുള്ള മൊബൈൽ ആപ്ലിക്കേഷനുകളുടെ സോഴ്‌സ് ടെക്‌സ്‌റ്റുകൾ അവലോകനം ചെയ്യുന്ന പ്രക്രിയ ഓട്ടോമേറ്റ് ചെയ്യുന്നതിനുള്ള പ്രോജക്റ്റിന്റെ ഭാഗമായാണ് അനലൈസർ വികസിപ്പിച്ചത്. 2021 ന്റെ ആദ്യ പകുതിയിൽ, Facebook മൊബൈൽ ആപ്ലിക്കേഷനുകളിലെ എല്ലാ കേടുപാടുകളുടെയും പകുതിയും ഓട്ടോമേറ്റഡ് വിശകലന ഉപകരണങ്ങൾ ഉപയോഗിച്ച് തിരിച്ചറിഞ്ഞു. മരിയാന ട്രെഞ്ച് കോഡ് മറ്റ് Facebook പ്രോജക്റ്റുകളുമായി വളരെ അടുത്ത് ബന്ധപ്പെട്ടിരിക്കുന്നു; ഉദാഹരണത്തിന്, ബൈറ്റ്കോഡ് പാഴ്‌സ് ചെയ്യാൻ റെഡെക്സ് ബൈറ്റ്കോഡ് ഒപ്റ്റിമൈസർ ഉപയോഗിച്ചു, കൂടാതെ സ്റ്റാറ്റിക് വിശകലനത്തിന്റെ ഫലങ്ങൾ ദൃശ്യപരമായി വ്യാഖ്യാനിക്കാനും പഠിക്കാനും SPARTA ലൈബ്രറി ഉപയോഗിച്ചു.

SQL അന്വേഷണങ്ങൾ, ഫയൽ ഓപ്പറേഷനുകൾ, ബാഹ്യ പ്രോഗ്രാമുകളെ ട്രിഗർ ചെയ്യുന്ന കോളുകൾ എന്നിവ പോലുള്ള അപകടകരമായ നിർമ്മാണങ്ങളിൽ അസംസ്‌കൃത ബാഹ്യ ഡാറ്റ പ്രോസസ്സ് ചെയ്യുന്ന സാഹചര്യങ്ങൾ തിരിച്ചറിയുന്നതിന് ആപ്ലിക്കേഷൻ എക്‌സിക്യൂഷൻ സമയത്ത് ഡാറ്റാ ഫ്ലോകൾ വിശകലനം ചെയ്യുന്നതിലൂടെ സാധ്യമായ കേടുപാടുകളും സ്വകാര്യത പ്രശ്‌നങ്ങളും തിരിച്ചറിയുന്നു.

ഡാറ്റയുടെ ഉറവിടങ്ങളും ഉറവിട ഡാറ്റ ഉപയോഗിക്കേണ്ടതില്ലാത്ത അപകടകരമായ കോളുകളും തിരിച്ചറിയുന്നതിലാണ് അനലൈസറിന്റെ പ്രവർത്തനം - അനലൈസർ ഫംഗ്‌ഷൻ കോളുകളുടെ ശൃംഖലയിലൂടെ ഡാറ്റ കടന്നുപോകുന്നത് ട്രാക്കുചെയ്യുകയും ഉറവിട ഡാറ്റയെ കോഡിലെ അപകടകരമായ സ്ഥലങ്ങളുമായി ബന്ധിപ്പിക്കുകയും ചെയ്യുന്നു. . ഉദാഹരണത്തിന്, Intent.getData-ലേക്കുള്ള കോളിലൂടെ ലഭിക്കുന്ന ഡാറ്റയ്ക്ക് ഉറവിട ട്രാക്കിംഗ് ആവശ്യമാണെന്നും Log.w, Runtime.exec എന്നിവയിലേക്കുള്ള കോളുകൾ അപകടകരമായ ഉപയോഗമായും കണക്കാക്കുന്നു.

അവലംബം: opennet.ru