{"id":116371,"date":"2024-06-05T21:39:49","date_gmt":"2024-06-05T19:39:49","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/google-opublikoval-gwpsan-instrument-dlya-vyyavleniya-oshibok-na-stadii-vypolneniya-prilozhenij"},"modified":"2024-06-05T21:39:49","modified_gmt":"2024-06-05T19:39:49","slug":"google-opublikoval-gwpsan-instrument-dlya-vyyavleniya-oshibok-na-stadii-vypolneniya-prilozhenij","status":"publish","type":"post","link":"https:\/\/prohoster.info\/pl\/blog\/news\/google-opublikoval-gwpsan-instrument-dlya-vyyavleniya-oshibok-na-stadii-vypolneniya-prilozhenij","title":{"rendered":"Google opublikowa\u0142o GWPSan, narz\u0119dzie do wykrywania b\u0142\u0119d\u00f3w na etapie wykonania aplikacji","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Firma Google opublikowa\u0142a \u017ar\u00f3d\u0142owe kody narz\u0119dzia GWPSan, zaprojektowanego do wykrywania b\u0142\u0119d\u00f3w na etapie wykonywania aplikacji skompilowanych dla architektur x86-64 i ARM64. GWPSan jest dostarczany w postaci biblioteki dzielonej, kt\u00f3ra jest \u0142adowana podczas uruchamiania aplikacji za pomoc\u0105 LD_PRELOAD i wykorzystuje dost\u0119pne w j\u0105drze Linux mechanizmy zatrzymywania (PERF_TYPE_BREAKPOINT) oraz pr\u00f3bkowania proces\u00f3w. Kod jest napisany w j\u0119zyku C++ i rozpowszechniany na licencji Apache 2.0. <\/p>\n
GWPSan jest zaprojektowany jako modu\u0142owy framework, wspieraj\u0105cy integracj\u0119 modu\u0142\u00f3w z implementacjami detektor\u00f3w r\u00f3\u017cnych klas b\u0142\u0119d\u00f3w. GWPSan przeprowadza dynamiczn\u0105 analiz\u0119, aktywowan\u0105 przez obs\u0142ug\u0119 sygna\u0142\u00f3w, co pozwala na obej\u015bcie si\u0119 bez modyfikacji wykonywanego kodu aplikacji. Aby wi\u0119kszo\u015b\u0107 detektor\u00f3w dzia\u0142a\u0142a efektywnie, wymagane jest skompilowanie aplikacji z okre\u015blonymi flagami kompilatora, kt\u00f3re dodaj\u0105 niezb\u0119dne metadane. Wymagana jest przynajmniej wersja Clang 18 oraz j\u0105dro Linux 6.4. <\/p>\n
Obecnie dost\u0119pne s\u0105 trzy detektory: <\/p>\n
\n
UAR (Use-after-return) \u2014 wykrywa b\u0142\u0119dy spowodowane u\u017cywaniem obiektu na stosie po wyj\u015bciu z funkcji, w kt\u00f3rej ten obiekt zosta\u0142 zdefiniowany. Ochrona jest organizowana poprzez przechwytywanie punkt\u00f3w wej\u015bcia i wyj\u015bcia funkcji \u2014 przy wej\u015bciu stos jest podmieniany na kopi\u0119 do u\u017cycia w trakcie wykonywania funkcji, a przy wyj\u015bciu przywracany jest stan pierwotny stosu.\n
TSan (Thread Sanitizer) \u2014 identyfikuje stany wy\u015bcigu mi\u0119dzy w\u0105tkami (Data-race), kt\u00f3re wyst\u0119puj\u0105, gdy r\u00f3\u017cne w\u0105tki wykonuj\u0105ce si\u0119 r\u00f3wnolegle mog\u0105 czyta\u0107 lub zmienia\u0107 wsp\u00f3lne obszary pami\u0119ci bez u\u017cywania prymityw\u00f3w synchronizacji. Ochrona oparta jest na u\u017cywaniu sprz\u0119towych punkt\u00f3w przerwa\u0144, przypinanych do wsp\u00f3\u0142dzielonych obszar\u00f3w pami\u0119ci. Aktywny handler na kr\u00f3tki czas wstrzymuje wykonanie w\u0105tku podczas odwo\u0142ania do pami\u0119ci, a w trakcie tego wstrzymania sprawdza, czy nie wyst\u0105pi\u0142o zadzia\u0142anie punktu przerwania dla innego w\u0105tku.\n
LMSan (Lightweight Memory Sanitizer) \u2014 identyfikuje u\u017cycie niezinicjowanych danych w pami\u0119ci. Detektor oznaczony jest jako eksperymentalny i niezalecany do u\u017cycia. <\/ul>\n
GWPSan analizuje wykonywalny kod programu, wykorzystuj\u0105c framework DynamoRIO do dekodowania kodu maszynowego na abstrakcyjne instrukcje ISA, kt\u00f3re nast\u0119pnie s\u0105 wykonywane za pomoc\u0105 emulacji. Poprzez okresowe sygna\u0142y z timera wywo\u0142ywany jest jednolity handler, kt\u00f3ry przy ka\u017cdym wywo\u0142aniu wykonuje okre\u015blon\u0105 cz\u0119\u015b\u0107 instrukcji dla analizowanego strumienia. W przypadku wykrycia podczas wykonywania okre\u015blonych instrukcji uruchamiany jest specyficzny dla danych instrukcji detektor problem\u00f3w, na przyk\u0142ad dla instrukcji odwo\u0142uj\u0105cych si\u0119 do pami\u0119ci uruchamiany jest detektor stan\u00f3w wy\u015bcigu. \n \u0179r\u00f3d\u0142o: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"