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

On Wed, Mar 13, 2024 at 04:29:25PM +0800, 李书畅 wrote:
> I see.
> And in this case, if I just want to check a single .c file other than the whole directory after building the database ,
> what should  I do ?

It's going to depend on the build system.  But normally:

rm path/to/file.o
make CHECK="/path/to/smatch --file-output" path/to/file.o
cat path/to/file.c.smatch

regards,
dan carpenter