From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from aserp2130.oracle.com ([141.146.126.79]:56126 "EHLO
        aserp2130.oracle.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1727170AbfFDLfz (ORCPT
        <rfc822;smatch@vger.kernel.org>); Tue, 4 Jun 2019 07:35:55 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=date : from : to : cc
 : subject : message-id : references : mime-version : content-type :
 in-reply-to; s=corp-2018-07-02;
 bh=aIMCxxKbOz4zaKQEetRNIQVCk+LSdL7bVoPUUVc4p7o=;
 b=Y3CrPE8sDlHSXdZcKnsM80R02TecaUJzi5e8cUTETuFgsv/6bJiQWWDybrBM7mcJnCmx
 kig5/bHN1HJY9heBKQJNO+BL95IDC6vtMg/gAwcuFUUDiESjSH5hZ9YPXgPSlffIFkQR
 yboBOHfw+8GAOahmPAhDNZaVk4R1SSW5MfO19U541XSm/n/naKMaTxXzNAl7DcCcW6yD
 jKhGileB9xK84MJbBgVkIkHthPEUJcD++WQYRN33zf88+eahvOO6rN4wFo5d18FRbi51
 6Ek2bP9RoYzItsdRSUhS4MbGbr5ji43gbscFwhY2QZCfFJKKM/1f2jxyxaUYMbMKVaOT fg== 
Date: Tue, 4 Jun 2019 14:35:42 +0300
From: Dan Carpenter <dan.carpenter@oracle.com>
Subject: Re: Smatch context checking feature ?
Message-ID: <20190604113541.GT24680@kadam>
References: <20190603112925.GA3244@himanshu-Vostro-3559>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20190603112925.GA3244@himanshu-Vostro-3559>
Sender: smatch-owner@vger.kernel.org
List-ID: <smatch.vger.kernel.org>
To: Himanshu Jha <himanshujha199640@gmail.com>
Cc: smatch@vger.kernel.org, Lukas Bulwahn <lukas.bulwahn@gmail.com>

On Mon, Jun 03, 2019 at 04:59:25PM +0530, Himanshu Jha wrote:
> Hi,
> 
> 
> I started to look at the context checking feature of smatch
> in check_locking.c
> 
> Honestly, I'm not planning to deep-dive into the codebase
> and rather planning to test its capability. I have already
> tested sparse context imbalance but the problem with smatch
> is that I can't run it on a simple C test program.
> 
> I tried the following:
> 
> ~/progs/smatch/devel/smatch_scripts/kchecker test.c
> 

The way to test is probably:

cp validation/sm_locking4.c test.c
./smatch -p=kernel test.c

> Does building cross function database help in context checking ?

Unfortunately the locking check is too out of date and doesn't take
advantage of the cross function DB.

> I have low spec machine(4GB RAM + 1TB HDD + i5) and IIRC when I
> tried smatch an year ago, rebooting was the only solution as it used
> hang.

That's really small but hopefully it doesn't still lock up.  :/  If it
does let me know and I will fix it.

> 
> Also, I couldn't find the smatch archive(if there is any). The ones
> on sourceforge does not seem to be maintained ?

https://repo.or.cz/w/smatch.git

regards,
dan carpenter