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

Thanks Dan for your reply to me, I get it. 
I'll give up making smatch work on qemu, 
and find some other C projects outside of the Linux kernel, 
which have simpler makefiles. So that it's easier for smatch to run on them.
Do you have any advice on which C programs to choose?

regards,
Lishu Chang


> -----原始邮件-----
> 发件人: "Dan Carpenter" <[email protected]>
> 发送时间: 2024-03-07 17:49:00 (星期四)
> 收件人: "李书畅" <[email protected]>
> 抄送: [email protected]
> 主题: 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