From: Dan Carpenter <dan.carpenter@oracle.com>
To: smatch@vger.kernel.org
Cc: linux-kernel@vger.kernel.org, kernel-janitors@vger.kernel.org,
Elena Reshetova <elena.reshetova@intel.com>,
Christophe JAILLET <christophe.jaillet@wanadoo.fr>
Subject: Smatch v1.73 released
Date: Wed, 10 Aug 2022 13:59:26 +0300 [thread overview]
Message-ID: <20220810105926.GS3460@kadam> (raw)
Smatch is a C static checker with a lot of kernel specific checks. You
can download it from: http://repo.or.cz/w/smatch.git. Or if you prefer
a github mirror, then you can download it from
https://github.com/error27/smatch
It's a simple process to run Smatch on a file in the kernel:
yum install gcc make sqlite3 sqlite-devel sqlite perl-DBD-SQLite openssl-devel perl-Try-Tiny
make
cd ~/path/to/kernel_dir
~/smatch_dir/smatch_scripts/kchecker drivers/whatever/file.c
Overall, this release is mostly small fixes all over. The main
improvement is better tracking changes to container_of(). For example,
there are a lot of kernel release functions which free the container_of().
The next step is to figure out the correct free function to call for
put_device().
Special thanks to Elena Reshetova who wrote a new module to track
host/VMM data for confidential computing. And also to thanks to
Christophe JAILLET for a bunch of fixes and updates.
Please test and let me know if you find any issues!
regards,
dan carpenter
reply other threads:[~2022-08-10 10:59 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20220810105926.GS3460@kadam \
--to=dan.carpenter@oracle.com \
--cc=christophe.jaillet@wanadoo.fr \
--cc=elena.reshetova@intel.com \
--cc=kernel-janitors@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=smatch@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.