{"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\/hu\/blog\/news\/google-opublikoval-gwpsan-instrument-dlya-vyyavleniya-oshibok-na-stadii-vypolneniya-prilozhenij","title":{"rendered":"A Google k\u00f6zz\u00e9tette a GWPSan-t, egy eszk\u00f6zt az alkalmaz\u00e1sok fut\u00e1si hib\u00e1inak \u00e9szlel\u00e9s\u00e9re.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
A Google k\u00f6zz\u00e9tette a GWPSan eszk\u00f6zk\u00e9szlet forr\u00e1sk\u00f3dj\u00e1t, amelyet a x86-64 \u00e9s ARM64 architekt\u00far\u00e1kra k\u00e9sz\u00fclt alkalmaz\u00e1sok fut\u00e1si hib\u00e1inak \u00e9szlel\u00e9s\u00e9re terveztek. A GWPSan megosztott k\u00f6nyvt\u00e1r form\u00e1j\u00e1ban \u00e1ll rendelkez\u00e9sre, amely az alkalmaz\u00e1s ind\u00edt\u00e1sakor az LD_PRELOAD seg\u00edts\u00e9g\u00e9vel van \u00f6sszek\u00f6tve, \u00e9s a program m\u0171k\u00f6d\u00e9s\u00e9nek elemz\u00e9s\u00e9hez a Linux kernelben el\u00e9rhet\u0151 meg\u00e1ll\u00edt\u00e1si (PERF_TYPE_BREAKPOINT) \u00e9s folyamatmintav\u00e9teli mechanizmusokat haszn\u00e1lja. A k\u00f3d C++ nyelven \u00edr\u00f3dott, \u00e9s Apache 2.0 licenc alatt ker\u00fcl terjeszt\u00e9sre. <\/p>\n
A GWPSan modul\u00e1ris keretrendszerk\u00e9nt van megtervezve, amely t\u00e1mogatja a k\u00fcl\u00f6nf\u00e9le hibakeres\u0151 modulok csatlakoztat\u00e1s\u00e1t. A GWPSan dinamikus elemz\u00e9st v\u00e9gez, amely jelz\u0151kezel\u0151k\u00f6n kereszt\u00fcl aktiv\u00e1lhat\u00f3, \u00edgy elker\u00fclhet\u0151 az alkalmaz\u00e1s futtathat\u00f3 k\u00f3dj\u00e1nak m\u00f3dos\u00edt\u00e1sa. A legt\u00f6bb hibakeres\u0151 hat\u00e9kony m\u0171k\u00f6d\u00e9s\u00e9hez az alkalmaz\u00e1st bizonyos ford\u00edt\u00f3i z\u00e1szl\u00f3kkal kell \u00f6sszegy\u0171jteni, amelyek sz\u00fcks\u00e9ges metaadatokat adnak hozz\u00e1. Legal\u00e1bb Clang 18 \u00e9s Linux kernel 6.4 sz\u00fcks\u00e9ges a m\u0171k\u00f6d\u00e9shez. <\/p>\n
Jelenleg h\u00e1rom hibakeres\u0151 \u00e9rhet\u0151 el: <\/p>\n
\n
UAR (Haszn\u00e1lat ut\u00e1n visszat\u00e9r\u0151) \u2014 felismeri a hib\u00e1kat, amelyek akkor fordulnak el\u0151, amikor egy objektumot a veremben haszn\u00e1lnak a funkci\u00f3b\u00f3l val\u00f3 kil\u00e9p\u00e9s ut\u00e1n, ahol az objektumot defini\u00e1lt\u00e1k. A v\u00e9delem az\u00e1ltal val\u00f3sul meg, hogy bel\u00e9p\u00e9si \u00e9s kil\u00e9p\u00e9si pontokat cs\u00edpnek el \u2014 bel\u00e9p\u00e9skor a verem helyettes\u00edtve van egy m\u00e1solattal, amelyet a funkci\u00f3 v\u00e9grehajt\u00e1sa alatt haszn\u00e1lnak, kil\u00e9p\u00e9skor pedig helyre\u00e1ll\u00edtj\u00e1k a verem kor\u00e1bbi \u00e1llapot\u00e1t.\n
TSan (Sz\u00e1l-ellen\u0151rz\u0151) \u2014 azonos\u00edtja a sz\u00e1lak k\u00f6z\u00f6tti verseny\u00e1llapotokat (Data-race), amelyek akkor l\u00e9pnek fel, amikor k\u00fcl\u00f6nb\u00f6z\u0151, p\u00e1rhuzamosan v\u00e9grehajtott sz\u00e1lak olvashatnak vagy m\u00f3dos\u00edthatnak k\u00f6z\u00f6s mem\u00f3ria ter\u00fcleteket an\u00e9lk\u00fcl, hogy szinkroniz\u00e1l\u00e1si primit\u00edveket haszn\u00e1ln\u00e1nak. A v\u00e9delem hardveres \u00e1llom\u00e1shelyek haszn\u00e1lat\u00e1n alapul, amelyeket k\u00f6z\u00f6s mem\u00f3ria ter\u00fcletekhez k\u00f6tnek. A bekapcsolt kezel\u0151 r\u00f6vid id\u0151re felf\u00fcggeszti a sz\u00e1l v\u00e9grehajt\u00e1s\u00e1t, amikor a mem\u00f3ri\u00e1hoz f\u00e9r, \u00e9s ebben a sz\u00fcnetben ellen\u0151rzi, hogy nem aktiv\u00e1l\u00f3dott-e egy \u00e1llom\u00e1shely egy m\u00e1sik sz\u00e1l sz\u00e1m\u00e1ra.\n
LMSan (K\u00f6nny\u0171 Mem\u00f3ria Ellen\u0151rz\u0151) \u2014 meg\u00e1llap\u00edtja a inicializ\u00e1latlan adatok haszn\u00e1lat\u00e1t a mem\u00f3ri\u00e1ban. Az \u00e9rz\u00e9kel\u0151 k\u00eds\u00e9rleti \u00e1llapot\u00fa, \u00e9s nem aj\u00e1nlott a haszn\u00e1lata. <\/ul>\n
A GWPSan elemzi a program v\u00e9grehajt\u00e1si k\u00f3dj\u00e1t a DynamoRIO keretrendszer haszn\u00e1lat\u00e1val, amely a g\u00e9pi k\u00f3dot ISA absztrakt utas\u00edt\u00e1sokk\u00e1 dek\u00f3dolja, amelyeket ezut\u00e1n emul\u00e1ci\u00f3val hajtanak v\u00e9gre. Id\u0151szakos id\u0151z\u00edt\u0151 jelek r\u00e9v\u00e9n egy egys\u00e9ges kezel\u0151 ker\u00fcl megh\u00edv\u00e1sra, amely minden egyes h\u00edv\u00e1skor v\u00e9grehajt egy meghat\u00e1rozott mennyis\u00e9g\u0171 utas\u00edt\u00e1st az elemzett folyamban. Ha bizonyos utas\u00edt\u00e1sok v\u00e9grehajt\u00e1sa sor\u00e1n probl\u00e9m\u00e1kat \u00e9szlelnek, akkor ezekhez az utas\u00edt\u00e1sokhoz specifikus probl\u00e9ma\u00e9rz\u00e9kel\u0151, p\u00e9ld\u00e1ul a mem\u00f3riahozz\u00e1f\u00e9r\u00e9sekhez egy verseng\u00e9si \u00e1llapot \u00e9rz\u00e9kel\u0151 indul el. \n Forr\u00e1s: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"