Max Home IndustryКоманда PVS-Studio выпустила бесплатную версию статического анализатора кода. Новости следуют за недавним выпуском Linux-версии этого инструмента.
PVS-Studio — это инструмент для обнаружения ошибок в исходном коде программ, написанных на языках C, C ++ и C #. Есть версии для Windows и Linux, а теперь и бесплатная версия.
PVS-Studio выполняет статический анализ кода и формирует отчет, который вы можете использовать для поиска и исправления ошибок. Он выполняет широкий спектр проверок кода, и разработчики говорят, что он также полезен для поиска опечаток и ошибок копирования-вставки.
Программа работает с использованием анализа на основе шаблонов. Абстрактное синтаксическое дерево используется для поиска фрагментов в исходном коде, которые похожи на известные шаблоны кода с ошибкой. Он использует вывод типа на основе семантической модели программы для вывода информации обо всех переменных и операторах в коде, а символьное выполнение позволяет проверять диапазон для поиска потенциальных ошибок в значениях переменных. Он также использует анализ потока данных, чтобы оценить, какие ограничения налагаются на значения переменных при обработке различных языковых конструкций.