News: 0000821482

Here's [1]a detailed blog entry from Dan Carpenter on adding improved lock checking to the smatch static-analysis tool. " When Smatch gained the ability to do cross function analysis in 2010, I knew that I had to re-write the locking check to take advantage of the new cross function analysis feature. When you combine cross function analysis with top of the line flow analysis available and in depth knowledge of kernel locks then the result is the Ultimate Locking Check! Unfortunately, I have a tendency towards procrastination and it took me a decade to get around to it, but it is done now. This blog will step through how the locking analysis works. "



[1] https://blogs.oracle.com/linux/writing-the-ultimate-locking-check