{"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 Werkzeug zur Identifizierung von Fehlern w\u00e4hrend der Ausf\u00fchrung von Anwendungen.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Das Unternehmen Google hat den Quellcode des GWPSan-Tools ver\u00f6ffentlicht, das zur Fehlererkennung in Anwendungen dient, die f\u00fcr die Architekturen x86-64 und ARM64 erstellt wurden. GWPSan wird als Shared Library bereitgestellt, die beim Starten der Anwendung \u00fcber LD_PRELOAD eingebunden wird und die verf\u00fcgbaren Mechanismen des Linux-Kernels zur Programm\u00fcberwachung (PERF_TYPE_BREAKPOINT) und Prozess-Sampling f\u00fcr die Analyse nutzt. Der Code ist in C++ geschrieben und unter der Apache 2.0-Lizenz verf\u00fcgbar. <\/p>\n
GWPSan ist als modulares Framework konzipiert, das die Anbindung von Modulen zur Implementierung von Detektoren verschiedener Fehlerklassen unterst\u00fctzt. GWPSan f\u00fchrt eine dynamische Analyse durch, die \u00fcber Signalhandler aktiviert wird, wodurch die Ausf\u00fchrungspl\u00e4ne des Programmcodes unver\u00e4ndert bleiben. F\u00fcr die effektive Funktion der meisten Detektoren ist es erforderlich, dass die Anwendung mit bestimmten Compiler-Flags kompiliert wird, die notwendige Metadaten hinzuf\u00fcgen. Mindestens Clang 18 und Linux-Kernel 6.4 sind erforderlich. <\/p>\n
Derzeit sind drei Detektoren verf\u00fcgbar: <\/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 Ein- und Ausstiegspunkten der Funktion \u2014 beim Eintreten 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 auftreten, wenn unterschiedliche gleichzeitig ausgef\u00fchrte Threads auf gemeinsame Speicherbereiche zugreifen oder diese \u00e4ndern, ohne daf\u00fcr Synchronisationsprimitive zu verwenden. Der Schutz basiert auf der Verwendung von Hardware-Breakpoints, die an gemeinsame Speicherbereiche gebunden sind. Der ausl\u00f6sende Handler unterbricht f\u00fcr kurze Zeit die Ausf\u00fchrung des Threads beim Zugriff auf den Speicher und \u00fcberpr\u00fcft in dieser Unterbrechung, ob ein Breakpoint f\u00fcr einen anderen Thread ausgel\u00f6st wurde.\n
LMSan (Lightweight Memory Sanitizer) \u2014 erkennt die Verwendung von nicht initialisierten Daten im Speicher. Der Detektor ist als experimentell gekennzeichnet und wird nicht f\u00fcr den Einsatz empfohlen. <\/ul>\n
GWPSan analysiert den ausf\u00fchrbaren Programm-Code, indem es das DynamoRIO-Framework verwendet, um maschinellen Code in abstrakte ISA-Instruktionen zu decodieren, die dann durch Emulation ausgef\u00fchrt werden. \u00dcber periodische Signale des Timers wird ein einheitlicher Handler aufgerufen, der bei jedem Aufruf einen bestimmten Satz von Instruktionen f\u00fcr den analysierten Datenstrom ausf\u00fchrt. Wenn bei der Ausf\u00fchrung bestimmter Instruktionen Probleme entdeckt werden, wird ein spezifischer Problemdetektor f\u00fcr die jeweiligen Instruktionen gestartet; zum Beispiel wird f\u00fcr Instruktionen, die auf den Speicher zugreifen, ein Detektor f\u00fcr Race Conditions aktiviert. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"