Subj : [$] Finding locking bugs with Smatch
To   : All
From : LWN.net
Date : Wed Jun 11 2025 15:00:08

[$] Finding locking bugs with Smatch

Date:
Wed, 11 Jun 2025 13:46:14 +0000

Description:
Smatch is a GPL-licensed
static-analysis tool for C that has a lot of specialized checks for the 
kernel. Smatch
has been used in the kernel for more than 20 years; Dan
Carpenter, its primary author, decided last year that some details of its 
plugin system
were due for a rewrite. He spoke at Linaro Connect 2025 about his work on
Smatch, the changes to its implementation, and how those changes enabled him 
to easily
add additional checks for locking bugs in the kernel.

======================================================================
Link to news story:
https://lwn.net/Articles/1023646/


--- Mystic BBS v1.12 A47 (Linux/64)
 * Origin: tqwNet UK HUB @ hub.uk.erb.pw (1337:1/100)

.