Schweizer Software enttarnt schlechte Windows-Gerätetreiber

1. Juli 2010, 07:00
  • technologien
  • epfl
  • informatik
  • software
image

Tool "DDT" findet Fehler und Absturzursachen.

Tool "DDT" findet Fehler und Absturzursachen.
Informatiker der École Polytechnique Fédérale de Lausanne (EPFL) haben eine Software entwickelt, die Treiber für Soundkarten, Laufwerke und andere Hardware am Computer auf Probleme überprüft. "Man sollte diesen Gerätetreibern nicht einfach trauen. Sie stecken voller Fehler", meint George Candea, Leiter des Dependable Systems Lab an der EPFL, im Gespräch mit pressetext. Das wirkt sich auf die Systemstabilität aus. Einer Experten-Schätzung zufolge sind Fehler in Gerätetreibern für 85 Prozent aller Windows-Abstürze verantwortlich.
Das Tool "DDT" der Lausanner Informatiker verspricht Abhilfe. "Im Gegensatz zu traditionellen Testmethoden erfordert DDT keinen Zugriff auf den Quellcode", betont Candea. Dennoch hat die Software in einem Test mit sechs Microsoft-zertifizierten Treibern 14 schwerwiegende neue Bugs zu Tage gefördert, berichten die Forscher in einem Fachbeitrag zur diesjährigen USENIX Annual Technical Conference.
Tests ohne Quellcode
Gerade bei Windows sind viele Treiber nicht quelloffen, so dass der Code selbst gar nicht zur Verfügung stünde und somit auch nicht analysiert werden kann. Daher setzten die EPFL-Forscher darauf, mit DDT das Verhalten von Gerätetreibern im Betrieb mit einer "Symbolic Execution" genannten Methode möglichst genau zu prüfen. Die meisten Tests erfolgen dabei in einer virtuellen Maschine. Mit dem Tool lassen sich dabei diverse Probleme von Speicherlecks über Schutzverletzungen bis hin zu Endlosschleifen aufspüren.
Um das Tool zu testen, haben die Forscher damit vier Netzwerk- und zwei Soundkartentreiber untersucht, die allesamt Microsoft-zertifiziert sind. In jedem einzelnen hat DDT zumindest einen neuen Fehler entdeckt und das in allen Fällen innerhalb von Minuten. Dafür reicht ein normaler PC. "Wir versuchen, Konsumenten die Möglichkeit zu geben, Treiber zu testen", betont Candea. Denn das würde Kunden die Möglichkeit bieten, sich bei schlechten Produkten für andere Treiber und auch Hardware zu entscheiden. "Damit steigt der Druck auf Hersteller, fehlerfreie Gerätetreiber zu liefern", meint der Informatiker.
Stabilitäts-Spezialisten
Candeas Team hat mit Dimmunix auch ein Tool entwickelt/bt)

Loading

Mehr zum Thema

image

Hausmitteilung: Aus C36daily wird ICT Ticker

Wir modernisieren den ICT-Medienspiegel C36daily und geben diesen neu unter dem Namen ICT Ticker heraus. Am bisherigen Format mit kuratierten Inhalten ändert sich nichts.

publiziert am 30.9.2022
image

Wie es um die Umstellung zur QR-Rechnung steht

Die roten und orangen Einzahlungsscheine gehen in den Ruhestand. Wir blicken auf die Einführung der QR-Rechnung zurück und haben bei SIX und Anbietern von Business-Software zum aktuellen Stand nachgefragt.

publiziert am 29.9.2022 5
image

Googles Suchfunktion erhält neue Features

Die visuelle Suche wurde verbessert und es gibt neu einen Suchoperator, mit dem sich Ergebnisse aus der unmittelbaren Umgebung anzeigen lassen.

publiziert am 29.9.2022
image

Nie mehr Hydranten anklicken: Cloudflare präsentiert Alternative zu Captchas

Mit "Turnstile" sollen Captchas obsolet werden. Die Technik laufe im Hintergrund und könne menschliche Webnutzer innert einer Sekunde von Bots unterscheiden.

publiziert am 29.9.2022 1