Приглашаем попробовать найти ошибку в очень простой функции из проекта GNU Midnight Commander. Зачем? Просто так. Это забавно и интересно. Хотя нет, мы соврали. Мы в очередной раз хотим продемонстрировать ошибку, которую с трудом находит человек в процессе code review, но легко находит статический анализатор кода PVS-Studio.
Читать →
Совсем недавно мы выпустили PVS-Studio 7.00, ключевым нововведением которого стал Java анализатор. Выпуск оказался удачным, так как перед ним была большая волна бета-тестирования. Некоторые наши клиенты, кто пользуется C++ или C# анализаторами, стали внедрять проверку Java кода чуть ли не с бета-стадии себе в проекты. Присылали нам интересные ошибки, которые находились у них в коде, как это часто бывает при первых запусках. Просили доработать те или иные интеграции. Но некоторые потенциальные пользователи писали следующие вещи: "Ваш анализатор наверняка будет хорош. Через пару лет. Когда вы его отладите. А пока мы не будем качать и смотреть". Для меня это звучит столь странно и иррационально, что я решил написать этот пост, а в будущем просто отвечать ссылкой.
Читать →
За 2018 год наша команда активно взялась за участие в конференциях, как в качестве докладчиков, так и спонсоров. К концу года их накопилось приличное количество, поэтому было решено оформить все наши путешествия в одной большой статье и рассказать о плюсах и минусах конференций, а также дать советы новичкам, которые помогут избежать ошибок и продуктивно проводить время на таких мероприятиях.
Читать →
В начале 2018 года в нашем блоге появился цикл статей, посвящённый шестой проверке исходного кода проекта Chromium. Цикл включает в себя 8 статей, посвященных ошибкам и рекомендациям по их предотвращению. Две статьи вызвали бурное обсуждение, и до сих пор на почту мне изредка приходят комментарии касательно тем, затронутых в них. Пожалуй, следует дать некоторые дополнительные пояснения и, как говорится, расставить точки над i.
Читать →
Время от времени нам задают вопрос, какую пользу в денежном эквиваленте получит компания от использования анализатора PVS-Studio. Мы решили оформить ответ в виде статьи и привести таблицы, которые покажут, насколько анализатор может быть полезен. Мы не можем в статье доказать абсолютную достоверность всех расчётов, но думаем, читатель согласится с нашими размышлениями, и это поможет принять решение в вопросе приобретения лицензии.
Читать →
Приветствую всех любителей покритиковать чужой код. :) Сегодня в нашей лаборатории новый материал для исследования - исходный код проекта AWS SDK для .NET. В своё время мы писали статью о проверке AWS SDK для C++. Тогда не нашлось ничего особо интересного. Посмотрим, чем нас порадует .NET версия AWS SDK. Хорошая возможность в очередной раз продемонстрировать возможности анализатора PVS-Studio, а также сделать мир немного совершеннее.
Читать →
В статье собраны ссылки на интересные программистские площадки в различных социальных сетях. В основном они ориентированы на C++, C# и Java программистов, так как на выбор накладывает отпечаток стек технологий, используемых в нашей команде.
Читать →
В седьмой версии статического анализатора PVS-Studio мы добавили поддержку языка Java. Пришло время немного рассказать, как мы начинали делать поддержку языка Java, что у нас получилось и какие дальнейшие планы. И, конечно, в статье будут приведены первые испытания анализатора на открытых проектах.
Читать →
Сегодня важный день – после 28 релизов шестой версии мы выпускаем PVS-Studio 7.00, где ключевым новшеством является поддержка языка Java. Однако за 2018 год накопилось много других важных изменений, касающихся С++, С#, инфраструктуры и поддержки стандартов кодирования. Поэтому предлагаем вашему вниманию заметку, которая обобщает основные изменения, произошедшие в PVS-Studio за последнее время.
Читать →
Европейский союз стартовал в январе очередную большую охоту за ошибками в открытых программных проектах. Суммарный призовой фонд составляет около 850 тысяч евро. А теперь даём подсказку. Одним из способов поиска ошибок в исходном коде программ является использование статических анализаторов кода. Например, можно использовать для этих целей PVS-Studio, тем более что недавно был предложен новый вариант его бесплатного лицензирования для открытых проектов.
Читать →