在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