A Key Linux Kernel Bug-Catcher Is Running Out of Money
The Smatch static analysis tool, vital for finding bugs in the Linux kernel, is at risk. Its sole developer, Dan Carpenter, says his funding from Linaro runs out at the end of the year, and he needs new corporate backers to continue the work.