I figure it out, I tried CHECK="/home/lsc20011130/smatch/smatch /home/lsc20011130/NtyCo/core" CC=/home/lsc20011130/smatch/cgcc make , and it works fine. "李书畅" <lishuchang@xxxxxxxxxxx>写道： > 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. > > regards, > Lishu Chang > > > > > > -----原始邮件----- > > 发件人: "Dan Carpenter" <dan.carpenter@xxxxxxxxxx> > > 发送时间: 2024-03-07 17:49:00 (星期四) > > 收件人: "李书畅" <lishuchang@xxxxxxxxxxx> > > 抄送: smatch@xxxxxxxxxxxxxxx > > 主题: Re: Re: Re: Re: about using smatch in all debian C code > > > > I figured it out. You need to: > > > > export CHECK="/home/user/smatch/smatch --file-output" > > > > Then you can't use ~/ in the --cc option. It has to be > > /home/user/smatch/cgcc. But then Smatch/Sparse still doesn't compile > > the code correctly. There are tons of compile errors. This is really > > a Sparse problem (Smatch uses Sparse as a parser). I suspect that > > fixing it will be difficult. > > > > regards, > > dan carpenter
