Блог

Евгений Рыжков

  • Сравнение Cppcheck и PVS-Studio

    22.05.2012
    Автор: Евгений Рыжков. Читать

  • Что общего у статического анализа и поисковиков? Хороший "top"!

    18.04.2012
    Разработчики поисковиков типа Google/Яндекс и разработчики инструментов статического анализа кода решают в каком-то смысле очень похожую задачу. И те, и другие должны предоставить пользователю некоторую выборку с ресурсами, которые "отвечают" желаниям пользователя. Нет, конечно, в идеале разработчики поисковиков хотели бы ограничиться кнопкой "Мне повезет!" (I'm Feeling Lucky). А разработчики инструментов анализа кода хотят выдавать только список реальных ошибок в коде. Но реальность как всегда накладывает ограничения. Хотите узнать, как мы сражаемся с жестокой реальностью при разработке PVS-Studio?. Читать

  • Советы по command line версии PVS-Studio

    05.04.2012
    Поскольку пользователей command line версии у нас меньше, чем пользователей версии для VS IDE, хочу обратить внимание на некоторые аспекты использования command line версии, которые могут быть не очевидны. Читать

  • Что такое идеальный статический анализатор, или почему идеал не достижим

    15.03.2012
    Вдохновившись постом Евгения Касперского об идеальном антивирусе, захотелось написать такой же пост про идеальный статический анализатор. А заодно прикинуть, насколько далек от этого идеала наш PVS-Studio. Читать

  • Лицензирование PVS-Studio: почему у нас нет Single User License?

    11.03.2012
    Сейчас PVS-Studio лицензируется по довольно простой схеме - основная (обычная) версия лицензируется на команду до пяти разработчиков. Есть site license для больших команд, но про это здесь говорить не будем. Читать

  • Как мы решали задачу реализации trial-режима в анализаторе кода PVS-Studio

    01.02.2012
    Для многих разработчиков программного обеспечения, выбор и изменение модели trial-режима является одной из самых трепетных и обсуждаемых задач. Для одних программ придумать модель проще, для других сложно. А некоторых людей не покидает вопрос: "Мы всё правильно сделали?". Актуальна задача выбора trial-модели и для нас, разработчиков PVS-Studio. Мы решили поделиться некоторыми сопутствующими мыслями и рассказать о том, какой новый вариант мы придумали. Надеемся, что наши рассуждения и некоторые мысли окажутся полезными и другим разработчикам. Читать

  • Советы по повышению скорости работы PVS-Studio

    15.12.2011
    Эта запись устарела. Читайте "Советы по повышению скорости работы PVS-Studio" в документации.. Читать

  • О пользе автоматической фильтрации одинаковых сообщений

    14.12.2011
    С самого начала в нашем анализаторе PVS-Studio отсеивались дубликаты сообщений. Например, если диагностическое сообщение выдается на код в .h-файле, который включается в несколько .cpp-файлов, то у нас оно будет выдано только один раз. Ряд других анализаторов этого не делают и при проверке .cpp-файлов каждый раз выводят предупреждения на одни и те же стоки в .h-файлах. В результате получается, что наш анализатор выдает меньшее количество сообщений по сравнению с ними. Но у нас все никак не было повода оценить, насколько это полезно. Теперь такой повод появился, результаты впечатляют. Читать

  • "Проверьте еще вот этот проект..."

    13.12.2011
    Мы считаем, что лучший способ продвижения нашего статического анализатора кода PVS-Studio – это проверка с его помощью известных открытых проектов (вроде Chromium, Clang, WinMerge и многих-многих других) и написание статей по результатам проверки. Это не простая задача, так как, к сожалению, PVS-Studio – всего лишь инструмент, а не чудо-программа, которая сама ищет все ошибки. Часто нам пишут люди с просьбой проверить тот или иной проект и написать об этом статью. Читать

  • О нашей библиотеке VivaCore

    06.12.2011
    Те, кто интересуется технологией анализа кода, наверняка слышали о нашей библиотеке VivaCore. Именно на ее основе построен наш же статический анализатор PVS-Studio. Раньше библиотеку можно было скачать с нашего сайта, однако недавно мы ее убрали оттуда и больше ее не распространяем. Читать