How to use PVS-Studio with CMake projects
- Before you start
- How to use the official integration
- How to add the CMake module to the project
- How to configure the CMake module
- How to start the analysis
Besides the compile_commands.json mode, you can work with PVS-Studio in CMake via an official integration or a special CMake module. This allows you to integrate the analyzer into a CMake-based project in a deeper way. For example, you can set specific goals for the analysis. Thus, you can check only those parts that you need, not the whole project.
Before you start
Make sure you entered the license key (Linux/macOS section). Otherwise, the analysis will not run. You can read more about entering the license here.
How to use the official integration
Starting from version 4.3.0, CMake provides a way to use the analyzer without compile_commands.json. In this mode, PVS-Studio warnings appear directly during project compilation.
To enable analysis via the official integration, add the following rule to CMakeLists.txt:
set(CMAKE_<LANG>_PVS_STUDIO <EXECUTABLE> analyze -a "GA\;OP")
LANGcan be eitherCorCXX;EXECUTABLEis the path to thepvs-studio-analyzer(GNU/Linux) orCompilerCommandsAnalyzer.exe(Windows). CMake will extract its location fromPATHif no absolute path is specified before it.
All parameters specified after EXECUTABLE will be passed to the C++ analyzer executable pvs-studio-analyzer/CompilerCommandsAnalyzer.exe.
This integration imposes limitations on the output format. In particular, you cannot convert the report using plog-converter, since the analysis is performed per file and no resulted PVS-Studio report is generated.
Since PVS-Studio warnings become part of the build log, you can use CTest to submit the results to a CDash dashboard.
How to add the CMake module to the project
An alternative way to integrate PVS-Studio analysis into a project is to use the dedicated CMake module. To automatically download it, use FetchContent. For example:
include(FetchContent)
FetchContent_Declare(
PVS_CMakeModule
GIT_REPOSITORY "https://github.com/viva64/pvs-studio-cmake-module.git"
GIT_TAG "master"
)
FetchContent_MakeAvailable(PVS_CMakeModule)
include("${pvs_cmakemodule_SOURCE_DIR}/PVS-Studio.cmake")
Such code downloads the Git repository with the module into the generated cache folder and allows users to integrate the analyzer into the project.
Note. master is the latest version. If issues arise, try to roll back to the latest release tag of the current analyzer's version.
You can upload the file with the PVS-Studio.cmake module if you do not want to have unnecessary dependencies on FetchContent.
Do not forget to update the module with the release of a new analyzer's version to avoid problems in its work. In the GIT_TAG parameter, you can specify the master branch to always use the latest version of the module.
How to configure the CMake module
To run the analyzer, CMake module adds a separate target for the build. When you run the build of this target, the analysis will run with the parameters that you specified when adding this target. To add the analysis target, use the pvs_studio_add_target command. For example:
cmake_minimum_required(VERSION 3.5)
project(pvs-studio-cmake-example CXX)
add_executable(example main.cpp)
# Optional:
# include(FetchContent)
# FetchContent_Declare(....)
# FetchContent_MakeAvailable(....)
include(PVS-Studio.cmake)
pvs_studio_add_target(TARGET example.analyze ALL
OUTPUT FORMAT json
ANALYZE example
MODE GA:1,2
LOG target.err
ARGS -e /path/to/exclude-path)
This CMake file contains one target to build the executable file and one target to run the analysis. Look at the parameters of the pvs_studio_add_target command:
Target options
ALLautomatically starts the analysis when thealltarget is built and works with each project build;TARGETcreates the target name created for the analysis. To run the analysis, build this target;ANALYZEsets targets to analyze. They must be unique when building multiple targets in parallel with the CMake module. To analyze the dependencies of these targets, add theRECURSIVEflag;RECURSIVErecursively analyze targets dependencies;COMPILE_COMMANDSusescompile_commands.jsoninstead of specifying targets in theANALYZEoption. It works withCMAKE_EXPORT_COMPILE_COMMANDSand available only when you useMakefileorNinjagenerators.
Output options
OUTPUTshows the analyzer output into the build log;LOGshows the report file. If it is unspecified, thePVS-Studio.logfile will be used in the directory with the CMake cache;FORMATshows the report format. In this case,.jsonis an error format with support for multi-file navigation. A list of available formats is here. Multiple formats can be used (for example:FORMAT "gitlab,tasklist-verbose");MODEenables diagnostic rule groups and their levels.
Analysis options
PLATFORM: a platform name. Available options:win32,x64/win64,linux32,linux64,macos,arm(IAR Embedded Workbench),pic8(MPLAB XC8),tms(Texas Instruments C6000);PREPROCESSOR: a preprocessed file format (clang/visualcpp/gcc);LICENSE: a path to the.licfile;CONFIG: a path to the.cfgfile;CFG_TEXT: contents of the.cfgfile;SUPPRESS_BASE: a path to the suppress file in the.suppress.jsonformat;KEEP_COMBINED_PLOG: forbids to delete the combined.pvs.rawfile for subsequent processing by theplog-converterutility.
Other options
DEPENDS: additional dependencies for the target;SOURCES: a list of source files for analysis;BIN: a path to pvs-studio-analyzer (macOS/Linux) or CompilerCommandsAnalyzer.exe (Windows);CONVERTER: a path to plog-converter (macOS/Linux) or HtmlGenerator.exe (Windows);C_FLAGS: additional flags for the C compiler;CXX_FLAGS: additional flags for the C++ compiler;ARGS: additional arguments for pvs-studio-analyzer/CompilerCommandsAnalyzer.exe;CONVERTER_ARGS: additional arguments for plog-converter/HtmlGenerator.exe .
How to exclude files from analysis
To exclude files from analysis, use the ARGS option by passing the paths through the -e (--exclude-path) flag, as shown in the example above. You can specify absolute, relative paths, or a search mask (glob).
Note. Relative paths will be expanded in relation to the build directory. This approach allows you exclude third-party libraries from the analysis.
How to start the analysis
To start the analysis, build the target added to pvs_studio_add_target. For example, this is how the analysis run looks like for the example above:
cmake --build <path-to-cache-dir> --target example.analyze
Before the run, all the targets specified for analysis in the ANALYZE parameter are built.
Here you can find examples of the PVS-Studio integration in CMake.