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
