|
|
|
|
@@ -0,0 +1,546 @@
|
|
|
|
|
# 2006-2008 (c) Viva64.com Team
|
|
|
|
|
# 2008-2018 (c) OOO "Program Verification Systems"
|
|
|
|
|
#
|
|
|
|
|
# Version 12
|
|
|
|
|
|
|
|
|
|
cmake_minimum_required(VERSION 2.8.12)
|
|
|
|
|
cmake_policy(SET CMP0054 NEW)
|
|
|
|
|
|
|
|
|
|
if (PVS_STUDIO_AS_SCRIPT)
|
|
|
|
|
# This code runs at build time.
|
|
|
|
|
# It executes pvs-studio-analyzer and propagates its return value.
|
|
|
|
|
|
|
|
|
|
set(in_cl_params FALSE)
|
|
|
|
|
set(additional_args)
|
|
|
|
|
|
|
|
|
|
foreach (arg ${PVS_STUDIO_COMMAND})
|
|
|
|
|
if (NOT in_cl_params)
|
|
|
|
|
if ("${arg}" STREQUAL "--cl-params")
|
|
|
|
|
set(in_cl_params TRUE)
|
|
|
|
|
endif ()
|
|
|
|
|
else ()
|
|
|
|
|
# A workaround for macOS frameworks (e.g. QtWidgets.framework)
|
|
|
|
|
# You can test this workaround on this project: https://github.com/easyaspi314/MidiEditor/tree/gba
|
|
|
|
|
if (APPLE AND "${arg}" MATCHES "^-I(.*)\\.framework$")
|
|
|
|
|
STRING(REGEX REPLACE "^-I(.*)\\.framework$" "\\1.framework" framework "${arg}")
|
|
|
|
|
if (IS_ABSOLUTE "${framework}")
|
|
|
|
|
get_filename_component(framework "${framework}" DIRECTORY)
|
|
|
|
|
list(APPEND additional_args "-iframework")
|
|
|
|
|
list(APPEND additional_args "${framework}")
|
|
|
|
|
endif ()
|
|
|
|
|
endif ()
|
|
|
|
|
endif ()
|
|
|
|
|
endforeach ()
|
|
|
|
|
|
|
|
|
|
execute_process(COMMAND ${PVS_STUDIO_COMMAND} ${additional_args}
|
|
|
|
|
ERROR_VARIABLE error
|
|
|
|
|
RESULT_VARIABLE result)
|
|
|
|
|
|
|
|
|
|
set(stderr_type "")
|
|
|
|
|
|
|
|
|
|
if (result)
|
|
|
|
|
set(stderr_type FATAL_ERROR)
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
if (result OR error)
|
|
|
|
|
message(${stderr_type} "${error}")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
return()
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
if(__PVS_STUDIO_INCLUDED)
|
|
|
|
|
return()
|
|
|
|
|
endif()
|
|
|
|
|
set(__PVS_STUDIO_INCLUDED TRUE)
|
|
|
|
|
|
|
|
|
|
set(PVS_STUDIO_SCRIPT "${CMAKE_CURRENT_LIST_FILE}")
|
|
|
|
|
|
|
|
|
|
function (pvs_studio_log TEXT)
|
|
|
|
|
if (PVS_STUDIO_DEBUG)
|
|
|
|
|
message("PVS-Studio: ${TEXT}")
|
|
|
|
|
endif ()
|
|
|
|
|
endfunction ()
|
|
|
|
|
|
|
|
|
|
function (pvs_studio_relative_path VAR ROOT FILEPATH)
|
|
|
|
|
set("${VAR}" "${FILEPATH}" PARENT_SCOPE)
|
|
|
|
|
if ("${FILEPATH}" MATCHES "^/.*$" OR "${FILEPATH}" MATCHES "^.:/.*$")
|
|
|
|
|
file(RELATIVE_PATH RPATH "${ROOT}" "${FILEPATH}")
|
|
|
|
|
if (NOT "${RPATH}" MATCHES "^\\.\\..*$")
|
|
|
|
|
set("${VAR}" "${RPATH}" PARENT_SCOPE)
|
|
|
|
|
endif ()
|
|
|
|
|
endif ()
|
|
|
|
|
endfunction ()
|
|
|
|
|
|
|
|
|
|
function (pvs_studio_join_path VAR DIR1 DIR2)
|
|
|
|
|
if ("${DIR2}" MATCHES "^(/|~|.:/).*$" OR "${DIR1}" STREQUAL "")
|
|
|
|
|
set("${VAR}" "${DIR2}" PARENT_SCOPE)
|
|
|
|
|
else ()
|
|
|
|
|
set("${VAR}" "${DIR1}/${DIR2}" PARENT_SCOPE)
|
|
|
|
|
endif ()
|
|
|
|
|
endfunction ()
|
|
|
|
|
|
|
|
|
|
macro (pvs_studio_append_flags_from_property CXX C DIR PREFIX)
|
|
|
|
|
if (NOT "${PROPERTY}" STREQUAL "NOTFOUND" AND NOT "${PROPERTY}" STREQUAL "PROPERTY-NOTFOUND")
|
|
|
|
|
foreach (PROP ${PROPERTY})
|
|
|
|
|
pvs_studio_join_path(PROP "${DIR}" "${PROP}")
|
|
|
|
|
|
|
|
|
|
if (APPLE AND "${PREFIX}" STREQUAL "-I" AND IS_ABSOLUTE "${PROP}" AND "${PROP}" MATCHES "\\.framework$")
|
|
|
|
|
get_filename_component(FRAMEWORK "${PROP}" DIRECTORY)
|
|
|
|
|
list(APPEND "${CXX}" "-iframework")
|
|
|
|
|
list(APPEND "${CXX}" "${FRAMEWORK}")
|
|
|
|
|
list(APPEND "${C}" "-iframework")
|
|
|
|
|
list(APPEND "${C}" "${FRAMEWORK}")
|
|
|
|
|
pvs_studio_log("framework: ${FRAMEWORK}")
|
|
|
|
|
elseif (NOT "${PROP}" STREQUAL "")
|
|
|
|
|
list(APPEND "${CXX}" "${PREFIX}${PROP}")
|
|
|
|
|
list(APPEND "${C}" "${PREFIX}${PROP}")
|
|
|
|
|
endif()
|
|
|
|
|
endforeach ()
|
|
|
|
|
endif ()
|
|
|
|
|
endmacro ()
|
|
|
|
|
|
|
|
|
|
macro (pvs_studio_append_standard_flag FLAGS STANDARD)
|
|
|
|
|
if ("${STANDARD}" MATCHES "^(99|11|14|17)$")
|
|
|
|
|
if ("${PVS_STUDIO_PREPROCESSOR}" MATCHES "gcc|clang")
|
|
|
|
|
list(APPEND "${FLAGS}" "-std=c++${STANDARD}")
|
|
|
|
|
endif ()
|
|
|
|
|
endif ()
|
|
|
|
|
endmacro ()
|
|
|
|
|
|
|
|
|
|
function (pvs_studio_set_directory_flags DIRECTORY CXX C)
|
|
|
|
|
set(CXX_FLAGS "${${CXX}}")
|
|
|
|
|
set(C_FLAGS "${${C}}")
|
|
|
|
|
|
|
|
|
|
get_directory_property(PROPERTY DIRECTORY "${DIRECTORY}" INCLUDE_DIRECTORIES)
|
|
|
|
|
pvs_studio_append_flags_from_property(CXX_FLAGS C_FLAGS "${DIRECTORY}" "-I")
|
|
|
|
|
|
|
|
|
|
get_directory_property(PROPERTY DIRECTORY "${DIRECTORY}" COMPILE_DEFINITIONS)
|
|
|
|
|
pvs_studio_append_flags_from_property(CXX_FLAGS C_FLAGS "" "-D")
|
|
|
|
|
|
|
|
|
|
set("${CXX}" "${CXX_FLAGS}" PARENT_SCOPE)
|
|
|
|
|
set("${C}" "${C_FLAGS}" PARENT_SCOPE)
|
|
|
|
|
endfunction ()
|
|
|
|
|
|
|
|
|
|
function (pvs_studio_set_target_flags TARGET CXX C)
|
|
|
|
|
set(CXX_FLAGS "${${CXX}}")
|
|
|
|
|
set(C_FLAGS "${${C}}")
|
|
|
|
|
|
|
|
|
|
set(prop_incdirs "$<TARGET_PROPERTY:${TARGET},INCLUDE_DIRECTORIES>")
|
|
|
|
|
list(APPEND CXX_FLAGS "$<$<BOOL:${prop_incdirs}>:-I$<JOIN:${prop_incdirs},$<SEMICOLON>-I>>")
|
|
|
|
|
list(APPEND C_FLAGS "$<$<BOOL:${prop_incdirs}>:-I$<JOIN:${prop_incdirs},$<SEMICOLON>-I>>")
|
|
|
|
|
|
|
|
|
|
set(prop_compdefs "$<TARGET_PROPERTY:${TARGET},COMPILE_DEFINITIONS>")
|
|
|
|
|
list(APPEND CXX_FLAGS "$<$<BOOL:${prop_compdefs}>:-D$<JOIN:${prop_compdefs},$<SEMICOLON>-D>>")
|
|
|
|
|
list(APPEND C_FLAGS "$<$<BOOL:${prop_compdefs}>:-D$<JOIN:${prop_compdefs},$<SEMICOLON>-D>>")
|
|
|
|
|
|
|
|
|
|
set("${CXX}" "${CXX_FLAGS}" PARENT_SCOPE)
|
|
|
|
|
set("${C}" "${C_FLAGS}" PARENT_SCOPE)
|
|
|
|
|
endfunction ()
|
|
|
|
|
|
|
|
|
|
function (pvs_studio_set_source_file_flags SOURCE)
|
|
|
|
|
set(LANGUAGE "")
|
|
|
|
|
|
|
|
|
|
string(TOLOWER "${SOURCE}" SOURCE_LOWER)
|
|
|
|
|
if ("${LANGUAGE}" STREQUAL "" AND "${SOURCE_LOWER}" MATCHES "^.*\\.(c|cpp|cc|cx|cxx|cp|c\\+\\+)$")
|
|
|
|
|
if ("${SOURCE}" MATCHES "^.*\\.c$")
|
|
|
|
|
set(LANGUAGE C)
|
|
|
|
|
else ()
|
|
|
|
|
set(LANGUAGE CXX)
|
|
|
|
|
endif ()
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
if ("${LANGUAGE}" STREQUAL "C")
|
|
|
|
|
set(CL_PARAMS ${PVS_STUDIO_C_FLAGS} ${PVS_STUDIO_TARGET_C_FLAGS} -DPVS_STUDIO)
|
|
|
|
|
elseif ("${LANGUAGE}" STREQUAL "CXX")
|
|
|
|
|
set(CL_PARAMS ${PVS_STUDIO_CXX_FLAGS} ${PVS_STUDIO_TARGET_CXX_FLAGS} -DPVS_STUDIO)
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
set(PVS_STUDIO_LANGUAGE "${LANGUAGE}" PARENT_SCOPE)
|
|
|
|
|
set(PVS_STUDIO_CL_PARAMS "${CL_PARAMS}" PARENT_SCOPE)
|
|
|
|
|
endfunction ()
|
|
|
|
|
|
|
|
|
|
function (pvs_studio_analyze_file SOURCE SOURCE_DIR BINARY_DIR)
|
|
|
|
|
set(PLOGS ${PVS_STUDIO_PLOGS})
|
|
|
|
|
pvs_studio_set_source_file_flags("${SOURCE}")
|
|
|
|
|
|
|
|
|
|
get_filename_component(SOURCE "${SOURCE}" REALPATH)
|
|
|
|
|
|
|
|
|
|
get_source_file_property(PROPERTY "${SOURCE}" HEADER_FILE_ONLY)
|
|
|
|
|
if (PROPERTY)
|
|
|
|
|
return()
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
pvs_studio_relative_path(SOURCE_RELATIVE "${SOURCE_DIR}" "${SOURCE}")
|
|
|
|
|
pvs_studio_join_path(SOURCE "${SOURCE_DIR}" "${SOURCE}")
|
|
|
|
|
|
|
|
|
|
set(LOG "${BINARY_DIR}/PVS-Studio/${SOURCE_RELATIVE}.plog")
|
|
|
|
|
get_filename_component(LOG "${LOG}" REALPATH)
|
|
|
|
|
get_filename_component(PARENT_DIR "${LOG}" DIRECTORY)
|
|
|
|
|
|
|
|
|
|
if (EXISTS "${SOURCE}" AND NOT TARGET "${LOG}" AND NOT "${PVS_STUDIO_LANGUAGE}" STREQUAL "")
|
|
|
|
|
# A workaround to support implicit dependencies for ninja generators.
|
|
|
|
|
set(depPvsArg)
|
|
|
|
|
set(depCommandArg)
|
|
|
|
|
if (CMAKE_VERSION VERSION_GREATER 3.6 AND "${CMAKE_GENERATOR}" STREQUAL "Ninja")
|
|
|
|
|
pvs_studio_relative_path(relLog "${CMAKE_BINARY_DIR}" "${LOG}")
|
|
|
|
|
set(depPvsArg --dep-file "${LOG}.d" --dep-file-target "${relLog}")
|
|
|
|
|
set(depCommandArg DEPFILE "${LOG}.d")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
# https://public.kitware.com/Bug/print_bug_page.php?bug_id=14353
|
|
|
|
|
# https://public.kitware.com/Bug/file/5436/expand_command.cmake
|
|
|
|
|
#
|
|
|
|
|
# It is a workaround to expand generator expressions.
|
|
|
|
|
set(cmdline "${PVS_STUDIO_BIN}" analyze
|
|
|
|
|
--output-file "${LOG}"
|
|
|
|
|
--source-file "${SOURCE}"
|
|
|
|
|
${depPvsArg}
|
|
|
|
|
${PVS_STUDIO_ARGS}
|
|
|
|
|
--cl-params "${PVS_STUDIO_CL_PARAMS}" "${SOURCE}")
|
|
|
|
|
|
|
|
|
|
string(REPLACE ";" "$<SEMICOLON>" cmdline "${cmdline}")
|
|
|
|
|
set(pvscmd "${CMAKE_COMMAND}"
|
|
|
|
|
-D PVS_STUDIO_AS_SCRIPT=TRUE
|
|
|
|
|
-D "PVS_STUDIO_COMMAND=${cmdline}"
|
|
|
|
|
-P "${PVS_STUDIO_SCRIPT}"
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
add_custom_command(OUTPUT "${LOG}"
|
|
|
|
|
COMMAND "${CMAKE_COMMAND}" -E make_directory "${PARENT_DIR}"
|
|
|
|
|
COMMAND "${CMAKE_COMMAND}" -E remove_directory "${LOG}"
|
|
|
|
|
COMMAND ${pvscmd}
|
|
|
|
|
WORKING_DIRECTORY "${BINARY_DIR}"
|
|
|
|
|
DEPENDS "${SOURCE}" "${PVS_STUDIO_CONFIG}"
|
|
|
|
|
IMPLICIT_DEPENDS "${PVS_STUDIO_LANGUAGE}" "${SOURCE}"
|
|
|
|
|
${depCommandArg}
|
|
|
|
|
VERBATIM
|
|
|
|
|
COMMENT "Analyzing ${PVS_STUDIO_LANGUAGE} file ${SOURCE_RELATIVE}")
|
|
|
|
|
list(APPEND PLOGS "${LOG}")
|
|
|
|
|
endif ()
|
|
|
|
|
set(PVS_STUDIO_PLOGS "${PLOGS}" PARENT_SCOPE)
|
|
|
|
|
endfunction ()
|
|
|
|
|
|
|
|
|
|
function (pvs_studio_analyze_target TARGET DIR)
|
|
|
|
|
set(PVS_STUDIO_PLOGS "${PVS_STUDIO_PLOGS}")
|
|
|
|
|
set(PVS_STUDIO_TARGET_CXX_FLAGS "")
|
|
|
|
|
set(PVS_STUDIO_TARGET_C_FLAGS "")
|
|
|
|
|
|
|
|
|
|
get_target_property(PROPERTY "${TARGET}" SOURCES)
|
|
|
|
|
pvs_studio_relative_path(BINARY_DIR "${CMAKE_SOURCE_DIR}" "${DIR}")
|
|
|
|
|
if ("${BINARY_DIR}" MATCHES "^/.*$")
|
|
|
|
|
pvs_studio_join_path(BINARY_DIR "${CMAKE_BINARY_DIR}" "PVS-Studio/__${BINARY_DIR}")
|
|
|
|
|
else ()
|
|
|
|
|
pvs_studio_join_path(BINARY_DIR "${CMAKE_BINARY_DIR}" "${BINARY_DIR}")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
file(MAKE_DIRECTORY "${BINARY_DIR}")
|
|
|
|
|
|
|
|
|
|
pvs_studio_set_directory_flags("${DIR}" PVS_STUDIO_TARGET_CXX_FLAGS PVS_STUDIO_TARGET_C_FLAGS)
|
|
|
|
|
pvs_studio_set_target_flags("${TARGET}" PVS_STUDIO_TARGET_CXX_FLAGS PVS_STUDIO_TARGET_C_FLAGS)
|
|
|
|
|
|
|
|
|
|
if (NOT "${PROPERTY}" STREQUAL "NOTFOUND" AND NOT "${PROPERTY}" STREQUAL "PROPERTY-NOTFOUND")
|
|
|
|
|
foreach (SOURCE ${PROPERTY})
|
|
|
|
|
pvs_studio_join_path(SOURCE "${DIR}" "${SOURCE}")
|
|
|
|
|
pvs_studio_analyze_file("${SOURCE}" "${DIR}" "${BINARY_DIR}")
|
|
|
|
|
endforeach ()
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
set(PVS_STUDIO_PLOGS "${PVS_STUDIO_PLOGS}" PARENT_SCOPE)
|
|
|
|
|
endfunction ()
|
|
|
|
|
|
|
|
|
|
set(PVS_STUDIO_RECURSIVE_TARGETS)
|
|
|
|
|
set(PVS_STUDIO_RECURSIVE_TARGETS_NEW)
|
|
|
|
|
|
|
|
|
|
macro(pvs_studio_get_recursive_targets TARGET)
|
|
|
|
|
get_target_property(libs "${TARGET}" LINK_LIBRARIES)
|
|
|
|
|
foreach (lib IN LISTS libs)
|
|
|
|
|
list(FIND PVS_STUDIO_RECURSIVE_TARGETS "${lib}" index)
|
|
|
|
|
if (TARGET "${lib}" AND "${index}" STREQUAL -1)
|
|
|
|
|
get_target_property(target_type "${lib}" TYPE)
|
|
|
|
|
if (NOT "${target_type}" STREQUAL "INTERFACE_LIBRARY")
|
|
|
|
|
list(APPEND PVS_STUDIO_RECURSIVE_TARGETS "${lib}")
|
|
|
|
|
list(APPEND PVS_STUDIO_RECURSIVE_TARGETS_NEW "${lib}")
|
|
|
|
|
pvs_studio_get_recursive_targets("${lib}")
|
|
|
|
|
endif ()
|
|
|
|
|
endif ()
|
|
|
|
|
endforeach ()
|
|
|
|
|
endmacro()
|
|
|
|
|
|
|
|
|
|
option(PVS_STUDIO_DISABLE OFF "Disable PVS-Studio targets")
|
|
|
|
|
option(PVS_STUDIO_DEBUG OFF "Add debug info")
|
|
|
|
|
|
|
|
|
|
# pvs_studio_add_target
|
|
|
|
|
# Target options:
|
|
|
|
|
# ALL add PVS-Studio target to default build (default: off)
|
|
|
|
|
# TARGET target name of analysis target (default: pvs)
|
|
|
|
|
# ANALYZE targets... targets to analyze
|
|
|
|
|
# RECURSIVE analyze target's dependencies (requires CMake 3.5+)
|
|
|
|
|
# COMPILE_COMMANDS use compile_commands.json instead of targets (specified by the 'ANALYZE' option) to determine files for analysis
|
|
|
|
|
# (set CMAKE_EXPORT_COMPILE_COMMANDS, available only for Makefile and Ninja generators)
|
|
|
|
|
#
|
|
|
|
|
# Output options:
|
|
|
|
|
# OUTPUT prints report to stdout
|
|
|
|
|
# LOG path path to report (default: ${CMAKE_CURRENT_BINARY_DIR}/PVS-Studio.log)
|
|
|
|
|
# FORMAT format format of report
|
|
|
|
|
# MODE mode analyzers/levels filter (default: GA:1,2)
|
|
|
|
|
# HIDE_HELP do not print help message
|
|
|
|
|
#
|
|
|
|
|
# Analyzer options:
|
|
|
|
|
# PLATFORM name linux32/linux64 (default: linux64)
|
|
|
|
|
# PREPROCESSOR name preprocessor type: gcc/clang (default: auto detected)
|
|
|
|
|
# LICENSE path path to PVS-Studio.lic (default: ~/.config/PVS-Studio/PVS-Studio.lic)
|
|
|
|
|
# CONFIG path path to PVS-Studio.cfg
|
|
|
|
|
# CFG_TEXT text embedded PVS-Studio.cfg
|
|
|
|
|
# KEEP_COMBINED_PLOG do not delete combined plog file *.pvs.raw for further processing with plog-converter
|
|
|
|
|
#
|
|
|
|
|
# Misc options:
|
|
|
|
|
# DEPENDS targets.. additional target dependencies
|
|
|
|
|
# SOURCES path... list of source files to analyze
|
|
|
|
|
# BIN path path to pvs-studio-analyzer (Unix) or CompilerCommandsAnalyzer.exe (Windows)
|
|
|
|
|
# CONVERTER path path to plog-converter (Unix) or HtmlGenerator.exe (Windows)
|
|
|
|
|
# C_FLAGS flags... additional C_FLAGS
|
|
|
|
|
# CXX_FLAGS flags... additional CXX_FLAGS
|
|
|
|
|
# ARGS args... additional pvs-studio-analyzer/CompilerCommandsAnalyzer.exe flags
|
|
|
|
|
function (pvs_studio_add_target)
|
|
|
|
|
macro (default VAR VALUE)
|
|
|
|
|
if ("${${VAR}}" STREQUAL "")
|
|
|
|
|
set("${VAR}" "${VALUE}")
|
|
|
|
|
endif ()
|
|
|
|
|
endmacro ()
|
|
|
|
|
|
|
|
|
|
set(PVS_STUDIO_SUPPORTED_PREPROCESSORS "gcc|clang|visualcpp")
|
|
|
|
|
if ("${CMAKE_CXX_COMPILER_ID}" MATCHES "Clang")
|
|
|
|
|
set(DEFAULT_PREPROCESSOR "clang")
|
|
|
|
|
elseif (MSVC)
|
|
|
|
|
set(DEFAULT_PREPROCESSOR "visualcpp")
|
|
|
|
|
else ()
|
|
|
|
|
set(DEFAULT_PREPROCESSOR "gcc")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
set(OPTIONAL OUTPUT ALL RECURSIVE HIDE_HELP KEEP_COMBINED_PLOG COMPILE_COMMANDS)
|
|
|
|
|
set(SINGLE LICENSE CONFIG TARGET LOG FORMAT BIN CONVERTER PLATFORM PREPROCESSOR CFG_TEXT)
|
|
|
|
|
set(MULTI SOURCES C_FLAGS CXX_FLAGS ARGS DEPENDS ANALYZE MODE)
|
|
|
|
|
cmake_parse_arguments(PVS_STUDIO "${OPTIONAL}" "${SINGLE}" "${MULTI}" ${ARGN})
|
|
|
|
|
|
|
|
|
|
if ("${PVS_STUDIO_CONFIG}" STREQUAL "" OR NOT "${PVS_STUDIO_CFG_TEXT}" STREQUAL "")
|
|
|
|
|
set(PVS_STUDIO_EMPTY_CONFIG ON)
|
|
|
|
|
else ()
|
|
|
|
|
set(PVS_STUDIO_EMPTY_CONFIG OFF)
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
default(PVS_STUDIO_CFG_TEXT "analysis-mode=31")
|
|
|
|
|
default(PVS_STUDIO_CONFIG "${CMAKE_BINARY_DIR}/PVS-Studio.cfg")
|
|
|
|
|
default(PVS_STUDIO_C_FLAGS "")
|
|
|
|
|
default(PVS_STUDIO_CXX_FLAGS "")
|
|
|
|
|
default(PVS_STUDIO_TARGET "pvs")
|
|
|
|
|
default(PVS_STUDIO_LOG "PVS-Studio.log")
|
|
|
|
|
|
|
|
|
|
set(PATHS)
|
|
|
|
|
if (WIN32)
|
|
|
|
|
set(ROOT "PROGRAMFILES(X86)")
|
|
|
|
|
set(ROOT "$ENV{${ROOT}}/PVS-Studio")
|
|
|
|
|
string(REPLACE \\ / ROOT "${ROOT}")
|
|
|
|
|
|
|
|
|
|
if (EXISTS "${ROOT}")
|
|
|
|
|
set(PATHS "${ROOT}")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
default(PVS_STUDIO_BIN "CompilerCommandsAnalyzer.exe")
|
|
|
|
|
default(PVS_STUDIO_CONVERTER "HtmlGenerator.exe")
|
|
|
|
|
else ()
|
|
|
|
|
default(PVS_STUDIO_BIN "pvs-studio-analyzer")
|
|
|
|
|
default(PVS_STUDIO_CONVERTER "plog-converter")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
find_program(PVS_STUDIO_BIN_PATH "${PVS_STUDIO_BIN}" ${PATHS})
|
|
|
|
|
set(PVS_STUDIO_BIN "${PVS_STUDIO_BIN_PATH}")
|
|
|
|
|
|
|
|
|
|
if (NOT EXISTS "${PVS_STUDIO_BIN}")
|
|
|
|
|
message(FATAL_ERROR "pvs-studio-analyzer is not found")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
find_program(PVS_STUDIO_CONVERTER_PATH "${PVS_STUDIO_CONVERTER}" ${PATHS})
|
|
|
|
|
set(PVS_STUDIO_CONVERTER "${PVS_STUDIO_CONVERTER_PATH}")
|
|
|
|
|
|
|
|
|
|
if (NOT EXISTS "${PVS_STUDIO_CONVERTER}")
|
|
|
|
|
message(FATAL_ERROR "plog-converter is not found")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
default(PVS_STUDIO_MODE "GA:1,2")
|
|
|
|
|
default(PVS_STUDIO_PREPROCESSOR "${DEFAULT_PREPROCESSOR}")
|
|
|
|
|
if (WIN32)
|
|
|
|
|
default(PVS_STUDIO_PLATFORM "x64")
|
|
|
|
|
else ()
|
|
|
|
|
default(PVS_STUDIO_PLATFORM "linux64")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
string(REPLACE ";" "+" PVS_STUDIO_MODE "${PVS_STUDIO_MODE}")
|
|
|
|
|
|
|
|
|
|
if (PVS_STUDIO_EMPTY_CONFIG)
|
|
|
|
|
set(PVS_STUDIO_CONFIG_COMMAND "${CMAKE_COMMAND}" -E echo "${PVS_STUDIO_CFG_TEXT}" > "${PVS_STUDIO_CONFIG}")
|
|
|
|
|
else ()
|
|
|
|
|
set(PVS_STUDIO_CONFIG_COMMAND "${CMAKE_COMMAND}" -E touch "${PVS_STUDIO_CONFIG}")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
add_custom_command(OUTPUT "${PVS_STUDIO_CONFIG}"
|
|
|
|
|
COMMAND ${PVS_STUDIO_CONFIG_COMMAND}
|
|
|
|
|
WORKING_DIRECTORY "${BINARY_DIR}"
|
|
|
|
|
COMMENT "Generating PVS-Studio.cfg")
|
|
|
|
|
|
|
|
|
|
if (NOT "${PVS_STUDIO_PREPROCESSOR}" MATCHES "^${PVS_STUDIO_SUPPORTED_PREPROCESSORS}$")
|
|
|
|
|
message(FATAL_ERROR "Preprocessor ${PVS_STUDIO_PREPROCESSOR} isn't supported. Available options: ${PVS_STUDIO_SUPPORTED_PREPROCESSORS}.")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
pvs_studio_append_standard_flag(PVS_STUDIO_CXX_FLAGS "${CMAKE_CXX_STANDARD}")
|
|
|
|
|
pvs_studio_set_directory_flags("${CMAKE_CURRENT_SOURCE_DIR}" PVS_STUDIO_CXX_FLAGS PVS_STUDIO_C_FLAGS)
|
|
|
|
|
|
|
|
|
|
if (NOT "${PVS_STUDIO_LICENSE}" STREQUAL "")
|
|
|
|
|
pvs_studio_join_path(PVS_STUDIO_LICENSE "${CMAKE_CURRENT_SOURCE_DIR}" "${PVS_STUDIO_LICENSE}")
|
|
|
|
|
list(APPEND PVS_STUDIO_ARGS --lic-file "${PVS_STUDIO_LICENSE}")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
list(APPEND PVS_STUDIO_ARGS --cfg "${PVS_STUDIO_CONFIG}"
|
|
|
|
|
--platform "${PVS_STUDIO_PLATFORM}"
|
|
|
|
|
--preprocessor "${PVS_STUDIO_PREPROCESSOR}")
|
|
|
|
|
|
|
|
|
|
if (NOT "${CMAKE_CXX_COMPILER}" STREQUAL "")
|
|
|
|
|
list(APPEND PVS_STUDIO_ARGS --cxx "${CMAKE_CXX_COMPILER}")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
if (NOT "${CMAKE_C_COMPILER}" STREQUAL "")
|
|
|
|
|
list(APPEND PVS_STUDIO_ARGS --cc "${CMAKE_C_COMPILER}")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
set(PVS_STUDIO_PLOGS "")
|
|
|
|
|
|
|
|
|
|
set(PVS_STUDIO_RECURSIVE_TARGETS_NEW)
|
|
|
|
|
if (${PVS_STUDIO_RECURSIVE})
|
|
|
|
|
foreach (TARGET IN LISTS PVS_STUDIO_ANALYZE)
|
|
|
|
|
list(APPEND PVS_STUDIO_RECURSIVE_TARGETS_NEW "${TARGET}")
|
|
|
|
|
pvs_studio_get_recursive_targets("${TARGET}")
|
|
|
|
|
endforeach ()
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
set(inc_path)
|
|
|
|
|
|
|
|
|
|
foreach (TARGET ${PVS_STUDIO_ANALYZE})
|
|
|
|
|
set(DIR "${CMAKE_CURRENT_SOURCE_DIR}")
|
|
|
|
|
string(FIND "${TARGET}" ":" DELIM)
|
|
|
|
|
if ("${DELIM}" GREATER "-1")
|
|
|
|
|
math(EXPR DELIMI "${DELIM}+1")
|
|
|
|
|
string(SUBSTRING "${TARGET}" "${DELIMI}" "-1" DIR)
|
|
|
|
|
string(SUBSTRING "${TARGET}" "0" "${DELIM}" TARGET)
|
|
|
|
|
pvs_studio_join_path(DIR "${CMAKE_CURRENT_SOURCE_DIR}" "${DIR}")
|
|
|
|
|
else ()
|
|
|
|
|
get_target_property(TARGET_SOURCE_DIR "${TARGET}" SOURCE_DIR)
|
|
|
|
|
if (EXISTS "${TARGET_SOURCE_DIR}")
|
|
|
|
|
set(DIR "${TARGET_SOURCE_DIR}")
|
|
|
|
|
endif ()
|
|
|
|
|
endif ()
|
|
|
|
|
pvs_studio_analyze_target("${TARGET}" "${DIR}")
|
|
|
|
|
list(APPEND PVS_STUDIO_DEPENDS "${TARGET}")
|
|
|
|
|
|
|
|
|
|
if ("${inc_path}" STREQUAL "")
|
|
|
|
|
set(inc_path "$<TARGET_PROPERTY:${TARGET},INCLUDE_DIRECTORIES>")
|
|
|
|
|
else ()
|
|
|
|
|
set(inc_path "${inc_path}$<SEMICOLON>$<TARGET_PROPERTY:${TARGET},INCLUDE_DIRECTORIES>")
|
|
|
|
|
endif ()
|
|
|
|
|
endforeach ()
|
|
|
|
|
|
|
|
|
|
foreach (TARGET ${PVS_STUDIO_RECURSIVE_TARGETS_NEW})
|
|
|
|
|
set(DIR "${CMAKE_CURRENT_SOURCE_DIR}")
|
|
|
|
|
get_target_property(TARGET_SOURCE_DIR "${TARGET}" SOURCE_DIR)
|
|
|
|
|
if (EXISTS "${TARGET_SOURCE_DIR}")
|
|
|
|
|
set(DIR "${TARGET_SOURCE_DIR}")
|
|
|
|
|
endif ()
|
|
|
|
|
pvs_studio_analyze_target("${TARGET}" "${DIR}")
|
|
|
|
|
list(APPEND PVS_STUDIO_DEPENDS "${TARGET}")
|
|
|
|
|
endforeach ()
|
|
|
|
|
|
|
|
|
|
set(PVS_STUDIO_TARGET_CXX_FLAGS "")
|
|
|
|
|
set(PVS_STUDIO_TARGET_C_FLAGS "")
|
|
|
|
|
foreach (SOURCE ${PVS_STUDIO_SOURCES})
|
|
|
|
|
pvs_studio_analyze_file("${SOURCE}" "${CMAKE_CURRENT_SOURCE_DIR}" "${CMAKE_CURRENT_BINARY_DIR}")
|
|
|
|
|
endforeach ()
|
|
|
|
|
|
|
|
|
|
if (PVS_STUDIO_COMPILE_COMMANDS)
|
|
|
|
|
set(COMPILE_COMMANDS_LOG "${PVS_STUDIO_LOG}.pvs.analyzer.raw")
|
|
|
|
|
if (NOT CMAKE_EXPORT_COMPILE_COMMANDS)
|
|
|
|
|
message(FATAL_ERROR "You should set CMAKE_EXPORT_COMPILE_COMMANDS to TRUE")
|
|
|
|
|
endif ()
|
|
|
|
|
add_custom_command(
|
|
|
|
|
OUTPUT "${COMPILE_COMMANDS_LOG}"
|
|
|
|
|
COMMAND "${PVS_STUDIO_BIN}" analyze -i
|
|
|
|
|
--output-file "${COMPILE_COMMANDS_LOG}.always"
|
|
|
|
|
${PVS_STUDIO_ARGS}
|
|
|
|
|
COMMENT "Analyzing with PVS-Studio"
|
|
|
|
|
WORKING_DIRECTORY "${CMAKE_BINARY_DIR}"
|
|
|
|
|
DEPENDS "${PVS_STUDIO_CONFIG}"
|
|
|
|
|
)
|
|
|
|
|
list(APPEND PVS_STUDIO_PLOGS_LOGS "${COMPILE_COMMANDS_LOG}.always")
|
|
|
|
|
list(APPEND PVS_STUDIO_PLOGS_DEPENDENCIES "${COMPILE_COMMANDS_LOG}")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
pvs_studio_relative_path(LOG_RELATIVE "${CMAKE_BINARY_DIR}" "${PVS_STUDIO_LOG}")
|
|
|
|
|
if (PVS_STUDIO_PLOGS OR PVS_STUDIO_COMPILE_COMMANDS)
|
|
|
|
|
if (WIN32)
|
|
|
|
|
string(REPLACE / \\ PVS_STUDIO_PLOGS "${PVS_STUDIO_PLOGS}")
|
|
|
|
|
endif ()
|
|
|
|
|
if (WIN32)
|
|
|
|
|
set(COMMANDS COMMAND type ${PVS_STUDIO_PLOGS} ${PVS_STUDIO_PLOGS_LOGS} > "${PVS_STUDIO_LOG}" 2>nul)
|
|
|
|
|
else ()
|
|
|
|
|
set(COMMANDS COMMAND cat ${PVS_STUDIO_PLOGS} ${PVS_STUDIO_PLOGS_LOGS} > "${PVS_STUDIO_LOG}")
|
|
|
|
|
endif ()
|
|
|
|
|
set(COMMENT "Generating ${LOG_RELATIVE}")
|
|
|
|
|
if (NOT "${PVS_STUDIO_FORMAT}" STREQUAL "" OR PVS_STUDIO_OUTPUT)
|
|
|
|
|
if ("${PVS_STUDIO_FORMAT}" STREQUAL "")
|
|
|
|
|
set(PVS_STUDIO_FORMAT "errorfile")
|
|
|
|
|
endif ()
|
|
|
|
|
list(APPEND COMMANDS
|
|
|
|
|
COMMAND "${CMAKE_COMMAND}" -E remove -f "${PVS_STUDIO_LOG}.pvs.raw"
|
|
|
|
|
COMMAND "${CMAKE_COMMAND}" -E rename "${PVS_STUDIO_LOG}" "${PVS_STUDIO_LOG}.pvs.raw"
|
|
|
|
|
COMMAND "${PVS_STUDIO_CONVERTER}" -t "${PVS_STUDIO_FORMAT}" "${PVS_STUDIO_LOG}.pvs.raw" -o "${PVS_STUDIO_LOG}" -a "${PVS_STUDIO_MODE}"
|
|
|
|
|
)
|
|
|
|
|
if(NOT PVS_STUDIO_KEEP_COMBINED_PLOG)
|
|
|
|
|
list(APPEND COMMANDS COMMAND "${CMAKE_COMMAND}" -E remove -f "${PVS_STUDIO_LOG}.pvs.raw")
|
|
|
|
|
endif()
|
|
|
|
|
endif ()
|
|
|
|
|
else ()
|
|
|
|
|
set(COMMANDS COMMAND "${CMAKE_COMMAND}" -E touch "${PVS_STUDIO_LOG}")
|
|
|
|
|
set(COMMENT "Generating ${LOG_RELATIVE}: no sources found")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
if (WIN32)
|
|
|
|
|
string(REPLACE / \\ PVS_STUDIO_LOG "${PVS_STUDIO_LOG}")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
add_custom_command(OUTPUT "${PVS_STUDIO_LOG}"
|
|
|
|
|
${COMMANDS}
|
|
|
|
|
COMMENT "${COMMENT}"
|
|
|
|
|
DEPENDS ${PVS_STUDIO_PLOGS} ${PVS_STUDIO_PLOGS_DEPENDENCIES}
|
|
|
|
|
WORKING_DIRECTORY "${CMAKE_BINARY_DIR}")
|
|
|
|
|
|
|
|
|
|
if (PVS_STUDIO_ALL)
|
|
|
|
|
set(ALL "ALL")
|
|
|
|
|
else ()
|
|
|
|
|
set(ALL "")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
if (PVS_STUDIO_OUTPUT)
|
|
|
|
|
if (PVS_STUDIO_HIDE_HELP AND NOT WIN32)
|
|
|
|
|
set(COMMANDS COMMAND grep -v " error: Help:" ${PVS_STUDIO_LOG} 1>&2 || exit 0)
|
|
|
|
|
elseif (WIN32)
|
|
|
|
|
set(COMMANDS COMMAND type "${PVS_STUDIO_LOG}" 1>&2)
|
|
|
|
|
else ()
|
|
|
|
|
set(COMMANDS COMMAND cat "${PVS_STUDIO_LOG}" 1>&2)
|
|
|
|
|
endif()
|
|
|
|
|
else ()
|
|
|
|
|
set(COMMANDS "")
|
|
|
|
|
endif ()
|
|
|
|
|
|
|
|
|
|
add_custom_target("${PVS_STUDIO_TARGET}" ${ALL} ${COMMANDS} WORKING_DIRECTORY "${CMAKE_BINARY_DIR}" DEPENDS ${PVS_STUDIO_DEPENDS} "${PVS_STUDIO_LOG}")
|
|
|
|
|
|
|
|
|
|
# A workaround to add implicit dependencies of source files from include directories
|
|
|
|
|
set_target_properties("${PVS_STUDIO_TARGET}" PROPERTIES INCLUDE_DIRECTORIES "${inc_path}")
|
|
|
|
|
endfunction ()
|
