An empirical study of operating systems errors

We present a study of operating system errors found by automatic, static, compiler analysis applied to the Linux and OpenBSD kernels. Our approach differs from previous studies that consider errors found by manual inspection of logs, testing, and surveys because static analysis is applied uniformly...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	CHOU, Andy, JUNFENG YANG, CHELF, Benjamin, HALLEM, Seth, ENGLER, Dawson
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Computer systems performance. Reliability Exact sciences and technology Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!