当尝试通过 makefile 使用 Splint 对我的项目进行分析时,我收到了以下错误消息:
Cannot open file: ../splint_evaluationa/my_project/source/*.c
Finished checking --- no code processed
这是我的生成文件:
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)