Untitled attachment
https://s3.masto.ai/media_attachments/files/115/689/353/630/923/438/original/482db62e07c11864.webp
Bug-Catching "Smatch" Static Analysis On The Linux Kernel Under Threat Due To Funding Gap
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 Lina…
https://www.phoronix.com/news/Linux-Smatch-Lacks-Funding
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.