Coverity 用于简单的 HalloWorld

Question

我想在本地虚拟机上使用 Coverity。我创建了简单的 HalloWorld 并使用 Coverity Wizard 来设置分析。一切正常。问题是当我想从终端运行 Coverity 时。它没有“找到”我的 makefile。

我有一个 Halloworld 目录，其中包含一个 .c 文件和 makefile。我能够使用 make cmd 成功构建程序。对于 Coverity，我按以下顺序运行命令:

1. ./cov-configure --gcc
2. ./cov-build --dir "usr/halloworld/"make

回应:make: *** 未指定目标且未找到 makefile。停止。

生成文件:

all: test.exe

test.exe: test.o
     gcc -o test.exe test.o

test.o: test.c
     gcc -c test.c

clean:
     rm -rf test.o test.c

我很确定这只是一个拼写错误或缺少参数或类似的东西。提前致谢。

Answer 1

我混淆了目录。 cov-build 应该在包含源文件的目录中运行，并且 --dir 之后的目录只是将创建的中间目录的位置。谢谢大家。