{"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\/de\/blog\/news\/google-opublikoval-gwpsan-instrument-dlya-vyyavleniya-oshibok-na-stadii-vypolneniya-prilozhenij","title":{"rendered":"Google hat GWPSan ver\u00f6ffentlicht, ein Tool zur Fehlersuche w\u00e4hrend der Ausf\u00fchrung von Anwendungen.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Das Unternehmen Google hat die Quelltexte des GWPSan-Tools ver\u00f6ffentlicht, das zur Erkennung von Fehlern w\u00e4hrend der Ausf\u00fchrung von Anwendungen entwickelt wurde, die f\u00fcr die Architekturen x86-64 und ARM64 kompiliert sind. GWPSan wird als gemeinsam genutzte Bibliothek bereitgestellt, die beim Start der Anwendung \u00fcber LD_PRELOAD verkn\u00fcpft wird und zur Analyse des Programmverhaltens verf\u00fcgbare Mechanismen im Linux-Kernel zur Unterbrechung (PERF_TYPE_BREAKPOINT) und Prozess-Sampling verwendet. Der Code ist in C++ geschrieben und wird unter der Apache 2.0-Lizenz vertrieben. <\/p>\n
GWPSan ist als modulares Framework gestaltet, das die Einbindung von Modulen mit Implementierungen f\u00fcr verschiedene Klassen von Fehlerdetektoren unterst\u00fctzt. GWPSan f\u00fchrt eine dynamische Analyse durch, die \u00fcber Signalhandler aktiviert wird, wodurch eine \u00c4nderung des ausf\u00fchrbaren Codes der Anwendung vermieden wird. F\u00fcr den effektiven Betrieb der meisten Detektoren ist es erforderlich, die Anwendung mit bestimmten Compiler-Flags zu kompilieren, die die erforderlichen Metadaten hinzuf\u00fcgen. Es wird mindestens Clang 18 und ein Linux-Kernel 6.4 ben\u00f6tigt. <\/p>\n
Derzeit stehen drei Detektoren zur Verf\u00fcgung: <\/p>\n
\n
UAR (Use-after-return) \u2014 erkennt Fehler, die durch die Verwendung eines Objekts im Stack nach dem Verlassen der Funktion, in der dieses Objekt definiert wurde, verursacht werden. Der Schutz erfolgt durch das Abfangen von Einstiegspunkten und dem Ausgang der Funktion \u2014 beim Eintritt wird der Stack durch eine Kopie ersetzt, die w\u00e4hrend der Ausf\u00fchrung der Funktion verwendet wird, und beim Verlassen wird der alte Zustand des Stacks wiederhergestellt.\n
TSan (Thread Sanitizer) \u2014 identifiziert Race Conditions zwischen Threads (Data-Race), die entstehen, wenn verschiedene gleichzeitig ausgef\u00fchrte Threads gemeinsame Speicherbereiche lesen oder \u00e4ndern k\u00f6nnen, ohne Synchronisationsprimitive zu verwenden. Der Schutz basiert auf dem Einsatz von Hardware-Breakpoints, die an gemeinsamen Speicherbereichen angebracht sind. Ein ausl\u00f6sender Handler h\u00e4lt die Ausf\u00fchrung des Threads f\u00fcr einen kurzen Moment an, w\u00e4hrend er auf den Speicher zugreift, und \u00fcberpr\u00fcft w\u00e4hrend dieser Unterbrechung, ob f\u00fcr einen anderen Thread ein Breakpoint ausgel\u00f6st wurde.\n
LMSan (Lightweight Memory Sanitizer) \u2014 erkennt die Verwendung von nicht initialisierten Daten im Speicher. Der Detektor ist als experimentell markiert und wird nicht zur Verwendung empfohlen. <\/ul>\n
GWPSan analysiert den ausgef\u00fchrten Programmcode, indem es das Framework DynamoRIO verwendet, um den Maschinencode in abstrakte ISA-Anweisungen zu decodieren, die dann durch Emulation ausgef\u00fchrt werden. Durch periodische Signale des Timers wird der einheitliche Handler aufgerufen, der bei jeder Ausf\u00fchrung einen bestimmten Teil der Anweisungen des analysierten Streams ausf\u00fchrt. Bei der Ausf\u00fchrung bestimmter Anweisungen wird ein spezifischer Problemdetektor f\u00fcr diese Anweisungen aktiviert, beispielsweise wird f\u00fcr Anweisungen, die auf den Speicher zugreifen, ein Detektor f\u00fcr Race Conditions gestartet. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"