Bug#1070846: ITP: smatch -- a static analysis tool for C
Package: wnpp
Severity: wishlist
Owner: "Ricardo B. Marliere" <ricardo@marliere.net>
X-Debbugs-Cc: debian-devel@lists.debian.org, dan.carpenter@linaro.org, ricardo@marliere.net
* Package name : smatch
Version : 1.73
Upstream Contact: smatch@vger.kernel.org
* URL : https://smatch.sourceforge.net/
* License : GPLv2+
Programming Lang: C
Description : a static analysis tool for C
Smatch is a code checking framework developed by Dan Carpenter on top of
Sparse [1]. It extends Sparse with useful functionality in the scope of
the Linux Kernel such as data-flow analysis which makes it possible to
detect such things as conditions that will always (or never) be true,
pointers that might be null, and locks that end up in different states
depending on which path is taken through the code [2]. A good
introduction was written by Dan himself [3] and he also had a mentorship
session about it [4], which goes in detail about its usefulness.
[1] https://tracker.debian.org/pkg/sparse
[2] https://lwn.net/Articles/691882/
[3] https://blogs.oracle.com/linux/post/smatch-static-analysis-tol-overview-by-dan-carpenter
[4] https://events.linuxfoundation.org/mentorship-session-smatch/
Reply to: