Smatch context checking feature ?

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