Вышел PVS-Studio 6.24

Новый релиз статического анализатора кода PVS-Studio стал доступен для скачивания. Этот инструмент предназначен для обнаружения ошибок и потенциальных уязвимостей в исходном коде программ, написанных на языках C, C++ и C#.

Важным улучшением является расширение списка поддерживаемых компиляторов. Добавлена ​​поддержка Texas Instruments Code Composer Studio, компилятора ARM под Windows\Linux.

По просьбам пользователей была введена новая опция Мониторинг компилятора, которая помогает при работе с большими проектами. Мониторинг компилятора под Windows теперь поддерживает сохранение данных мониторинга в файл дампа и запуск анализа из этого файла дампа. Это позволяет повторно запускать анализ без необходимости каждый раз заново собирать анализируемый проект.

Также по просьбам пользователей в командную строку для проектов анализатора Visual Studio под Windows был добавлен новый режим проверки отдельных файлов.

Введено 8 новых диагностик для обнаружения ошибок в коде C и C++:

· В1013. Подозрительное подвыражение в последовательности однотипных сравнений.

· В1014. Структуры с элементами вещественного типа сравниваются побайтно.

· В1015. Подозрительное одновременное использование побитовых и логических операторов.

· В1016. Значение находится вне диапазона значений перечисления. Это вызывает неопределенное или неопределенное поведение.

· В1017. Переменная типа string_view ссылается на временный объект, который будет удален после вычисления выражения.

· В1018. Использование подозрительной оболочки мьютекса. Вероятно, он не используется, не инициализирован или уже заблокирован.

· В1019. Составное выражение присваивания используется внутри условия.

· В1020. Функция завершилась без выполнения действий эпилога. Не исключено, что есть ошибка.

Помимо разработки новых диагностических средств, мы продолжаем совершенствовать анализ потока данных, который позволяет старым диагностическим средствам находить больше ошибок. Благодаря этим улучшениям анализатор находит больше интересных ошибок, вроде той, что мы описали в статье 31 февраля. Скачайте и попробуйте PVS-Studio.