{"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\/hr\/blog\/news\/google-opublikoval-gwpsan-instrument-dlya-vyyavleniya-oshibok-na-stadii-vypolneniya-prilozhenij","title":{"rendered":"Google je objavio GWPSan, alat za otkrivanje pogre\u0161aka tijekom izvo\u0111enja aplikacija","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Tvrtka Google objavila je izvorne kodove alata GWPSan, namijenjenog za otkrivanje gre\u0161aka tijekom izvo\u0111enja aplikacija sastavljenih za arhitekture x86-64 i ARM64. GWPSan se sastavlja kao dijeljena biblioteka koja se povezuje prilikom pokretanja aplikacije pomo\u0107u LD_PRELOAD i koristi mehanizme za analizu rada programa dostupne u Linux kernelu (PERF_TYPE_BREAKPOINT) i uzorkovanja procesa. Kod je napisan na C++ jeziku i distribuira se pod Apache 2.0 licencom. <\/p>\n
GWPSan je strukturiran kao modularni okvir koji podr\u017eava povezivanje modula s implementacijama detektora razli\u010ditih klasa gre\u0161aka. GWPSan izvr\u0161ava dinami\u010dku analizu, aktiviranu putem rukovatelja signala, \u0161to omogu\u0107ava izbjegavanje promjene izvr\u0161nog koda aplikacije. Za u\u010dinkovito funkcioniranje ve\u0107ine detektora potrebna je izrada aplikacije s odre\u0111enim zastavicama kompajlera koje dodaju potrebne metapodatke. Potreban je barem Clang 18 i Linux kernel 6.4. <\/p>\n
Trenutno su dostupna tri detektora: <\/p>\n
\n
UAR (Use-after-return) \u2014 otkriva gre\u0161ke izazvane kori\u0161\u0107enjem objekta na steku nakon izlaska iz funkcije u kojoj je taj objekat definisan. Za\u0161tita se organizuje preko presretanja ulaznih i izlaznih ta\u010daka funkcije \u2014 prilikom ulaska, stek se zamenjuje kopijom za kori\u0161\u0107enje tokom izvr\u0161enja funkcije, a prilikom izlaska vra\u0107a se prethodno stanje steka.\n
TSan (Thread Sanitizer) \u2014 identifikuje stanja trke izme\u0111u niti (Data-race), koja nastaju kada razli\u010dite niti koje se istovremeno izvr\u0161avaju mogu da \u010ditaju ili menjaju zajedni\u010dke oblasti memorije, ne koriste\u0107i pritom primitivne sinhronizacione mehanizme. Za\u0161tita se zasniva na kori\u0161\u0107enju hardverskih ta\u010daka prekida vezanih za zajedni\u010dke oblasti memorije. Aktiviraju\u0107i handler na kratko obustavlja izvr\u0161enje niti prilikom pristupa memoriji i tokom te pauze proverava da li je do\u0161lo do aktivacije ta\u010dke prekida za neku drugu nit.\n
LMSan (Lightweight Memory Sanitizer) \u2014 detektuje kori\u0161\u0107enje neinicijalizovanih podataka u memoriji. Detektor je ozna\u010den kao eksperimentalni i ne preporu\u010duje se za kori\u0161\u0107enje. <\/ul>\n
GWPSan analizira izvr\u0161ni kod programa koriste\u0107i DynamoRIO okvir za dekodiranje strojno kodiranih instrukcija u apstraktne ISA instrukcije, koje se zatim izvr\u0161avaju putem emulatora. Periodi\u010dnim signalima s timerom poziva se unified handler, koji pri svakom pozivu izvr\u0161ava odre\u0111eni dio instrukcija za analizirani tok. U slu\u010daju otkrivanja problema pri izvr\u0161avanju odre\u0111enih instrukcija, pokre\u0107e se detektor specifi\u010dan za te instrukcije, na primjer, za instrukcije koje pristupaju memoriji, pokre\u0107e se detektor stanja utrke. \n Izvor: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"