Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Wed, 10 Aug 2022 13:59:26 +0300
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
Message-ID: <20220810105926.GS3460@kadam>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.9.4 (2018-02-28)
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?pRLfh48vmxBeDuXQBgzrJ/8huSVZW0ZqqNeuImYKrBkNQYRoXo8d7WGfWy/Y?=
 =?us-ascii?Q?Ax+NJuju6yJCT9JHqA7GjvRv6oVweEGMiU+xPUQHmfTPoqGd96bt4ZgrSV+K?=
 =?us-ascii?Q?9+y2a+l4YfFKS/iKYN1BGao78S/9m0z/HlzrBro0cAILsq8Yq3LxgldwZ5XC?=
 =?us-ascii?Q?pUY8wup0SrW3jVwn9w5SfavQaDrjmMpSm2SUXzwJnk3bxYCFUt9RccPT+Ipi?=
 =?us-ascii?Q?U9j7zZeEwBoDOjdZwzImQ1+h9ZMWEsDCo6Q5J/WlxxnplCc702yCjfUmvXVb?=
 =?us-ascii?Q?gTvAYX1U2TwTMQtOiCqQNNtOhbH47wo/qSZIli5qKu4j279xsG+5p76jmbAZ?=
 =?us-ascii?Q?LYfVeO9IU5YuB0oXPxF+TendMSLk0WBDZgbAqJlz3/Xgu591Z8TXvmtwQOlU?=
 =?us-ascii?Q?PqWOIa7+2jwfYBGom97TpPV36bC3ngI1qGRELuSllh0rBSE0PWlO7Sjy2OVL?=
 =?us-ascii?Q?HdXbg7NaFNkffCgukCAGHb+1XsC3YD48hGU15r0JKhnf00mhV5v6rLQ8UYrO?=
 =?us-ascii?Q?zc8fBDbMHW+j4x/8ROS/7Vxacro+zHtN/1U4xyjMsClNqoCBKNPFVszTL4kL?=
 =?us-ascii?Q?M4xFAjPvdanNLzUOrDimUHxClcX++DFXepfwcN4JwmciztFrBULZMqY0KSiF?=
 =?us-ascii?Q?Ruke49EHZx9jkSkC+3HDAZTIWZdqhODV2Wla8XDYo7FwCwuqVzkqz6fqfrWe?=
 =?us-ascii?Q?kXkjq35JldNAA32rFFKw4Q3T1slgbD80PJNg1bBDWdknclzitqzbW299kCKE?=
 =?us-ascii?Q?7wmvwjJ6q0o1IOBA0sokHiuWMsTwa2SLzwl18ZiJWyGpjZgUtYyAuaEykTI9?=
 =?us-ascii?Q?6vvWoImIwA+1w5u28WqRNaJHZDj7Hd2SKG6KMpgLYYRczoougA9QqwAeInvP?=
 =?us-ascii?Q?i2fY5ynrx2ateBLcOWkbNvLXr8jAXvkWwWfKVJWEkJtYJWXDtKtXj4iA72ER?=
 =?us-ascii?Q?NPRj/cZh9MpwoDihRlRWOzIjHbm4tG75Ou4DoRSoEYUphglVWAgAplhAhPlc?=
 =?us-ascii?Q?3o9R6wJx/4PlULGF/dCwvdDvDhoSn55k+oMjmm96LtE9Ev8u5Q/mvXv8ZCHK?=
 =?us-ascii?Q?GJ7qdNyh5M5wClSc9SowvPS/x8dF1Vx48kW3sU2aInbz9oLPybfwkTF3EffW?=
 =?us-ascii?Q?wx7wMQKj6q1oI3g3GFoal5DOHdV4s+LdVITrsTOY7Vtw8kVaEAdK6IBSb6OH?=
 =?us-ascii?Q?3+sXnpKGZEMXIOTjtUHyZ7LrZ/829a0udp/BhuJmOLg0R1WiuYK+Qg68Wjml?=
 =?us-ascii?Q?y8g/ok6K2kW2u+edc09oxNkk157AzwTjkKp49SIuike9iy1SdA+N5HTQA1/2?=
 =?us-ascii?Q?9HDzhIx/hVlpL/Xa6AohNRznGVum4aiyhi01X3JWoh1lqJkRvT07WP+6+Xqy?=
 =?us-ascii?Q?B/jimmISCL2dmVJFDA9Obsx++XcW5t+CCDrcJ1oZyd0xnuECpARYYduSIwDC?=
 =?us-ascii?Q?BwxNRJ7q7oG38BnmqcGL13x3x5R5SKC91oyu+TgMbswNgEcs1OKeKG0TIaqW?=
 =?us-ascii?Q?MACCKw1cDxp2cDhdlbkuUS5UXhqXzS5dq2mt2dMC4vPiSntqMS8YPdyxENa6?=
 =?us-ascii?Q?mHTDdzGigbhBJEbHqdVlEhf7nkc6yl1CyApG49ls+ZVaP1IZhk8En4TGpi/y?=
 =?us-ascii?Q?vg=3D=3D?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: f9e7a75c-aa3b-4b67-6bf1-08da7abf69cb
X-MS-Exchange-CrossTenant-AuthSource: MWHPR1001MB2365.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 10 Aug 2022 10:59:36.0502
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: qvqeWzV6BAKlQZ4EkdzQ0wnXwDoguKg9xr/hXCqMPHldAgPMg4ctANaObC8dGAagI5y9jVqqpgZ+SvlRH2NWNw5fZTZ/8agyJSWP+MGHRb4=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MN2PR10MB4365
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.205,Aquarius:18.0.883,Hydra:6.0.517,FMLib:17.11.122.1
 definitions=2022-08-10_06,2022-08-10_01,2022-06-22_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 bulkscore=0 suspectscore=0
 mlxlogscore=999 spamscore=0 adultscore=0 mlxscore=0 phishscore=0
 malwarescore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2207270000 definitions=main-2208100033
X-Proofpoint-ORIG-GUID: dwiCJ7KZMRCp65yUc2ffN_41ECsraCzB
X-Proofpoint-GUID: dwiCJ7KZMRCp65yUc2ffN_41ECsraCzB
X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,
        RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE,T_SCC_BODY_TEXT_LINE
        autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

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