Smatch context checking feature ?

Smatch context checking feature ?

[Himanshu Jha]

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

Does building cross function database help in context checking ?
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.

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


-- 
Himanshu Jha
Undergraduate Student
Department of Electronics & Communication
Guru Tegh Bahadur Institute of Technology

Re: Smatch context checking feature ?

[Dan Carpenter]

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