Bug-Catching "Smatch" Static Analysis On The Linux Kernel Under Threat Due To Funding Gap

Posted by bob on Dec 9, 2025 7:25 PM EDT
Phoronix
Mail this story
Print this story

For the past 15 years the Smatch static analysis tool has been routinely run for uncovering countless bugs within the Linux kernel. Dan Carpenter who authored Smatch and has been routinely analyzing the Linux kernel with it has authored more than 5,568 patches over the years to become one of the top bug fixers for the kernel. But his funding at Linaro has been cut and the project's future now in question...

Full Story

  Nav
» Read more about: Groups: Kernel, Linux; Story Type: News Story

« Return to the newswire homepage

This topic does not have any threads posted yet!

You cannot post until you login.