夹板:无法打开文件

Splint : Cannot open file

当尝试通过 makefile 使用 Splint 对我的项目进行 运行 分析时,我收到此错误消息:

Cannot open file: ../splint_evaluationa/my_project/source/*.c

Finished checking --- no code processed

这是我的 makefile:

SPLINT_FLAGS =-preproc  \
              -warnposixheaders       \
SRCS=/home/user/splint_evaluationa/my_project/source/*.c
INC_FLAGS=-I/home/user/splint_evaluation/my_project/include

do_splint:
      splint $(SPLINT_FLAGS) $(INC_FLAGS) $(SRCS)

你有一个额外的a,试试这个:

SRCS=/home/user/splint_evaluation/my_project/source/*.c