Re: Re: Re: Re: Re: about using smatch in all debian C code

On Sun, Mar 10, 2024 at 12:56:47PM +0800, 李书畅 wrote:
> Hello Dan, this time I tried to use smatch in a simpler C project named NtyCo, 
> Its program address is : https://github.com/wangbojing/NtyCo.
> And I tried CHECK="/home/lsc20011130/smatch/smatch -p=NtyCo" CC=/home/lsc20011130/smatch/cgcc make, it seems worked.
> then I tried /home/lsc20011130/smatch/smatch -p=NtyCo --foo --bar --/home/lsc20011130/NtyCo/core/nty_epoll.c.
> But it doesn't output anything (even though I put some obvious error code in the C file)，
> I want to know which of my steps went wrong.

It's not going to catch every bug.  One thing the I do is I pass the
--debug option to Smatch.  That generates a ton of output so I'm sure
it's working.

regards,
dan carpenter