Messages in this thread | | | Date | Sat, 18 Apr 2009 18:03:34 +0300 (EAT) | From | Dan Carpenter <> | Subject | smatch 1.52 released |
| |
Smatch is a static analysis tool.
It's looks for different bugs than sparse. It's uses sparse as a C parser. It probably can find more complicated bugs than Coccinelle but it doesn't fix them.
The repo is: http://repo.or.cz/w/smatch.git/
I am going to be cycling in southern Africa for the next four months. I will take an eee but will only have irregular internet access.
There have been many changes since 1.51: * There are no known crashing bugs. * It uses less memory. * It is faster. * Many of the checks have been improved. * It uses a more sophisticated system to represent possible variable values internally. * There is a new dereferencing ERR_PTR() check.
One thing that's fairly cool is that Smatch v1.52 understands the following code.
foo = down_trylock(&lock); if (foo < 0) <- implies the lock was not aquired. return; <- lock is held here.
Anyway, do email me if you have any questions or issues. I will probably have internet access some days later on next week.
regards, dan carpenter
http://bikesafari.net
| |