静态分析代码PVS-Studio

本文介绍了如何在Linux环境下安装PVS-Studio静态代码分析工具,包括使用存储库和安装包的方法。安装后,通过输入许可数据激活,可以采用编译监控或直接从构建系统运行两种方式进行项目检查。PVS-Studio利用strace或compile_commands.json文件进行分析,并提供多种报告格式供用户选择。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

在Linux下安装PVS-Studio有多种方法,这具体取决于你的发行版类型。最方便和首选的方法是使用存储库,因为它允许在发布新版本时自动更新分析器。另一个选择是使用安装包,你可以在这里找到它。

安装命令也因你使用的Linux发行版而异。例如,这是基于Debian的存储库安装命令:

wget -q -O - https://files.viva64.com/etc/pubkey.txt | sudo apt-key add -
sudo wget -O /etc/apt/sources.list.d/viva64.list \

https://files.viva64.com/etc/viva64.list

sudo apt update
sudo apt install pvs-studio

要从可下载的软件包安装PVS-Studio,你可以使用gdebi:

sudo gdebi pvs-studio-VERSION.deb
安装过程在“Linux安装和更新PVS-Studio”文档部分有更详细的描述。你还可以在那里找到非Debian系统的信息。

安装PVS-Studio后,需要输入数据许可。命令如下:

pvs-studio-analyzer credentials NAME KEY [-o LIC-FILE]
NAME和KEY分别是注册用户名和许可证密钥。可选参数-o允许你指定将生成许可证文件的位置。默认情况下,它将被存储在~/.config/PVS-Studio/目录中。

如果你需要试用密钥,可以在“下载和评估PVS-Studio”页面上获取。

检查你的项目
安装完成后,就可以开始检查项目了。其主要有两种方法::

1.编译监控。

2.直接从构建系统运行。

我们先来谈谈第一种方式。要在Linux下启动监视,需要strace程序。PVS-Studio使用它来收集在构建期间启动的进程列表和参数。

使用以下命令启动构建:

pvs-studio-analyzer trace – make

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值