Informatiker an 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. 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.
Dafür verspricht das Tool "DDT" 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 .