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
