Linux Kernel Developer Responses to Static Analysis Bug Reports
Using Static Analysis to Find Bugs