Публикации по теме 'pvs-studio'


Раздел документации: работа с отчетом XML (файл .plog)
Для продуктивного и правильного использования PVS-Studio очень важно уметь работать с файлом отчета анализатора — .plog. Раздел документации Управление отчетом XML Analyzer (файл .plog) содержит много полезной информации для изучения этого навыка. В разделе подробно описано, как получить отчет, содержащий только самые важные предупреждения. Это помогает уменьшить шум анализатора. Кроме того, в разделе вы узнаете, как конвертировать полученный файл .plog в наиболее удобный для вас..
Фото кастинг с единорогом PVS-Studio
Как многие из вас уже знают, PVS-Studio — это статический анализатор кода, помогающий программистам находить ошибки в коде на C/C++ (а вскоре и на C#). Наш инструмент неплохо справился с анализом open-source проектов . Хотя сегодня речь пойдет о нашем логотипе — единороге, а не об инструменте. Единорог — народный любимец Единорог PVS-Studio уже успел стать медийным персонажем, узнаваемым на конференциях программистов, в которых принимает участие наша команда. И как любой..
Ядру Linux исполняется 30 лет: поздравление от PVS-Studio
25 августа 2021 года ядро ​​Linux отметило свое 30-летие. С тех пор он сильно изменился. Мы тоже изменились. В настоящее время ядро ​​Linux — это огромный проект, которым пользуются миллионы. Мы проверяли ядро ​​5 лет назад. Итак, мы не можем пропустить это событие и хотим еще раз взглянуть на код этого эпического проекта. Введение В прошлый раз мы нашли 7 своеобразных ошибок. Примечательно, что на этот раз мы нашли меньше ошибок! Это кажется странным. Размер ядра..
Почему статический анализ может улучшить сложную кодовую базу C++
Постепенно и незаметно получается ситуация, когда сложность проектов на C++ становится предельной. К сожалению, сейчас программист на C++ не может быть сам по себе. Примечание. Эта статья была впервые опубликована мной в блоге Fluent C++: Почему статический анализ может улучшить сложную кодовую базу C++ . Во-первых, кода так много, что уже невозможно иметь хотя бы пару программистов на проект, знающих весь проект. Например, ранее ядро ​​Linux 1.0.0 содержало около 176 000 строк..
Лучшее враг хорошего
Эта статья — рассказ о том, как мы однажды решили улучшить наш внутренний инструмент SelfTester, который мы применяем для проверки качества анализатора PVS-Studio. Улучшение было простым и вроде бы полезным, но доставило нам некоторые неприятности. Позже оказалось, что лучше отказаться от этой идеи. самотестер Мы разрабатываем и продвигаем статический анализатор кода PVS-Studio для языков C, C++, C# и Java. Для проверки качества нашего анализатора мы используем внутренние..
Почему я не люблю синтетические тесты
Не люблю, когда люди используют примеры искусственного кода для оценки диагностических возможностей статических анализаторов кода. Я собираюсь обсудить один конкретный пример, чтобы объяснить свое негативное отношение к синтетическим тестам. Билл Торпи недавно написал в блоге сообщение под названием Even Mo 'Static , в котором поделился своим мнением о результатах тестирования анализаторов Cppcheck и PVS-Studio в проекте itc-benchmarks , который представляет собой набор тестов для..
Последний cppcheck предупреждает об этом, и здесь был добавлен регрессионный тест:
Последний cppcheck предупреждает об этом, и здесь был добавлен регрессионный тест: https://github.com/danmar/cppcheck/pull/2401 Исторически cppcheck отслеживал только значения переменных, но недавно улучшил поддержку отслеживания значений выражений. Это изменение, скорее всего, было результатом этих изменений здесь: Поддержка выражения в valueFlowAfterCondition от pfultz2 · Pull Request #2219 · danmar/cppcheck Это поддерживает не только переменные, но и..