Package: wnpp Severity: wishlist Owner: "Ricardo B. Marliere" <rica...@marliere.net> X-Debbugs-Cc: debian-devel@lists.debian.org, dan.carpen...@linaro.org, rica...@marliere.net
* Package name : smatch Version : 1.73 Upstream Contact: sma...@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/
