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
