Linux Kernel Developer Responses to Static Analysis Bug Reports
an empirical study of operating system errors .