PVS-Studio в CMake: теперь официально

В сфере искусственного интеллекта произошло заметное событие. x86chk 1 час назад PVS-Studio в CMake: теперь официально Простой 5 мин 3. 2K Блог компании PVS-Studio C * C++ * Системы сборки * Open source * Если у вас кроссплатформенный проект на C или C++, то, как правило, вы не завязываетесь на одну систему сборки, а используете генератор сценариев для сборочных систем. Самый распространённый из них, CMake, недавно получил официальную интеграцию со статическим анализатором PVS-Studio для этих языков.

CMake — визитная карточка Kitware для разработчиков программного обеспечения. Это проект с большой историей и возрастом почти с саму компанию. Его первая версия вышла в 2000 году, спустя примерно два года со дня основания Kitware.

Технические детали

Со временем все разработки Kitware (например, библиотека Visualization Toolkit и созданный на её основе движок ParaView для работы с симуляциями протекающих процессов) стали использовать CMake для описания структуры проекта и его сборки. Вслед за ними подключились другие крупные проекты СПО: KDE, LLVM, Qt в разное время полностью отказались от GNU Autoconf в его пользу. Анализатор PVS-Studio для C и C++ полностью перешёл на CMake в начале 2020 года.

PVS-Studio может анализировать проекты независимо от системы сборки: на Windows анализатор перехватывает вызовы компилятора и его команды запуска. Для GNU/Linux систем доступна трассировка компиляции. Как это работаетНачиная с версии 4.

3, в CMake стал возможен запуск PVS-Studio одновременно со сборкой C или C++ проекта. Срабатывания анализатора будут отображаться вместе с сообщениями и предупреждениями компилятора. Начало журнала сборки компонента libcrypto из LibreSSL 4.

Отраслевые последствия

1 с одновременным анализом средствами PVS-StudioПроцесс настройки статического анализатора PVS-Studio практически не отличается от других поддерживаемых в CMake решений: достаточно объявить директиву CMAKE__PVS_STUDIO и после неё перечислить параметры, как если бы вы просто запустили CompilerCommandsAnalyzer в Windows или pvs-studio-analyzer в *nix-системах. может принимать значения C и CXX. set(CMAKE_C_PVS_STUDIO CompilerCommandsAnalyzer analyze -a GA) set(CMAKE_CXX_PVS_STUDIO CompilerCommandsAnalyzer analyze -a GA) Эту директиву можно разместить на любом подходящем для вас уровне в CMakeLists.

txt, регулируя таким образом количество кода, которое проверяет анализатор. Если вы не хотите запускать анализ при каждой сборке, то оберните настройку в условие:if(ENABLE_PVS_STUDIO_CHECKS) set(CMAKE_C_PVS_STUDIO CompilerCommandsAnalyzer analyze -a GA) endif() Кроссплатформенные проекты могут также задействовать автоматический выбор названия исполняемого файла анализатора PVS-Studio для C и C++ проектов:find_program(PVS_STUDIO_COMMAND NAMES pvs-studio-analyzer CompilerCommandsAnalyzer) set(CMAKE_CXX_PVS_STUDIO ${PVS_STUDIO_COMMAND} analyze -a "GA\;OP Можно также задать параметр командной строки -DCMAKE__PVS_STUDIO, чтобы не изменять CMakeLists.

Этот прогресс даёт важные сигналы о будущем отрасли, и технологический мир внимательно наблюдает.