Linux

10554 readers

382 users here now

A community for everything relating to the GNU/Linux operating system (except the memes!)

Also, check out:

Original icon base courtesy of lewing@isc.tamu.edu and The GIMP

founded 2 years ago

MODERATORS

Ategon@programming.dev

anzo@programming.dev

dwraf_of_ignorance@programming.dev

Bug-Catching "Smatch" Static Analysis On The Linux Kernel Under Threat Due To Funding Gap (www.phoronix.com)

submitted 3 days ago by cm0002@ttrpg.network to c/linux@programming.dev

1 comments fedilink hide all child comments

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.

The Smatch static analysis on the kernel in recent years has been led by Dan Carpenter while working for Linaro. It's fallen under a "Linux kernel quality" project but now that Linaro project is surprisingly ending

you are viewing a single comment's thread
view the rest of the comments

[–] onlinepersona@programming.dev 1 points 2 days ago

The Linux Foundation is too busy funding AI, it seems.