1

我将使用 pvc-studio 检查简单的开源驱动程序，但到目前为止它还没有成功。我的系统是 Debian 4.6.0-amd64。我正在使用本机 x86_64 gcc 编译器。

使用命令运行

pvs-studio-analyzer trace -- make; pvs-studio-analyzer analyze -o ./app.log

打印出来No compilation units found。

我尝试将调用嵌入到makefile中，如下所示：

CURRENT = $(shell uname -r)
KDIR = /lib/modules/$(CURRENT)/build
PWD = $(shell pwd)
DEST = /lib/modules/$(CURRENT)/misc

PARAMS = -I/usr/src/linux-headers-4.6.0-1-common/include -I/usr/src/linux-headers-4.6.0-1-amd64/include

TARGET1 = file1
TARGET2 = file2

obj-m   := $(TARGET1).o $(TARGET2).o

all: default clean
default: file1.c file2.c
    pvs-studio --cfg ~/pvs.cfg --source-file $< --cl-params $(CFLAGS) $(PARAMS) $<
    $(MAKE) -C $(KDIR) M=$(PWD) modules

...

结果，我收到了许多与内核头文件相关的没有此类文件或目录的错误消息。

我的 .cfg 文件：

exclude-path = /usr/include/
exclude-path = /usr/src/linux-headers-4.6.0-1-amd64/include
exclude-path = /usr/src/linux-headers-4.6.0-1-common/include
platform = linux64
preprocessor = gcc
analysis-mode=4
language = C

我做错了什么？如何正确执行？

4

1 回答 1

1

要检查项目，可以将pvs-studio-analyzer实用程序或 intergarte 分析器 ( pvs-studio ) 直接用于构建系统，但不能同时使用两个选项。

  1. pvs 工作室分析仪

未找到编译单元

在跟踪命令之后，strace_out会在当前目录中创建一个文件。你必须确保在这个文件中有文件编译的命令。如果您找到了必要的命令，并且编译器名称具有不寻常的标题，则可以使用参数指出它--compiler：

pvs-studio-analyzer analyze ... --compiler COMPILER_NAME ...

如果要跟踪的文件不包含编译命令，是否需要检查项目是否正在编译。或许，需要先执行一个命令make clean。

  1. 当集成到 Makefile 中时，分析器还需要有关编译器的信息。

默认情况下，编译器取自环境变量 CC/CXX。如我所见，在给定的示例中，它们没有被声明。

如果某些头文件没有找到，则需要将它们的路径添加到--cl-params参数中。

配置文件排列正确。尝试考虑我的建议并再次运行分析。

完整文档可通过链接获得：“如何在 Linux 上运行 PVS-Studio ”。

于 2017-09-11T08:59:32.020 回答