support@viva64.com Пишите нам
Русский English

PVS-Studio

Статический анализатор кода для C/C++/C++11

  • Страница продукта
  • Документация
  • Лидер в 64-битности
Скачать и попробовать Купить
  • Главная
  • Новости
 

Новости

  • 28.07.2008
    Запущена новая версия сайта www.viva64.com
  • 17.07.2008
    Вышла печатная версия статьи "Библиотека анализа кода VivaCore" в журнале "RSDN Magazine" #1' 2008
  • 16.07.2008
    Вышла печатная версия статьи "Подходы к верификации и тестированию 64-битных приложений" в журнале "Информационные технологии" #7' 2008
  • 10.07.2008
    Выпущена новая версия анализатора кода Viva64 2.0
  • 01.07.2008
    ООО "СиПроВер" теперь находится в новом офисе!
  • 07.06.2008
    В ИСП РАН прошел семинар с участием наших специалистов
  • 15.05.2008
    В ВЦ РАН прошел семинар с участием наших специалистов
  • 01.04.2008
    Выпущена библиотека анализа кода VivaCore 1.0
  • 31.03.2008
    Разработки ООО "СиПроВер" поддержаны ФСРМПНТС
  • 21.03.2008
    Команда Viva64.com преобразована в компанию "Системы программной верификации"
Предыдущий 1 2 3 4 5

Разработчикам:

  • Все ресурсы
  • Наши статьи
  • 64-битные уроки
  • База знаний
  • Терминология
  • Обзоры
  • Блог

Блог:  

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

    Команда разработчиков PVS-Studio сравнила свой статический анализатор кода PVS-Studio с открытым (free, open source) статическим анализатором кода Cppcheck. Для сравнения ...

    Читать
  • 16.05.2012
    Коллекция интересных ресурсов по тематике программирования на языке Си/Си++

    Я постоянно изучаю интернет на тему новых статей про программированию на языке Си/Си++/Си++11. Если мне они кажутся интересными, я делюсь ...

    Читать
  • 15.05.2012
    Всё о PVS-Studio

    PVS-Studio – статический анализатор, выявляющий ошибки в исходном коде приложений на языке C/C++/C++11. Инструмент PVS-Studio интегрируется в среду Visual Studio ...

    Читать

Статьи:  

  • 16.03.2012
    100 багов в Open Source проектах на языке Си/Си++

    Эта статья демонстрирует возможности методологии статического анализа кода. Читателю предлагается примеры ста ошибок, найденных в Open-Source проектах, написанных на языке ...

    Читать
  • 14.12.2011
    Как уменьшить вероятность ошибки на этапе написания кода. Заметка N4

    Это уже четвертая заметка, где я хочу поделиться полезными наблюдениями о паттернах ошибок и том, как можно с ними бороться. ...

    Читать
  • 25.10.2011
    Реклама PVS-Studio - статический анализ кода на языке Си и Си++

    Этот документ рекламирует статический анализатор PVS-Studio. Описывается, как использование PVS-Studio уменьшит количество ошибок в коде проекта на языке C/C++/C++11 и ...

    Читать

Новости:  

  • 27.10.2011
    Джон Кармак про PVS-Studio

    Джон Кармак, основатель и технический директор Id Software, рассказывает о своем опыте использования статических анализаторов, в том числе и нашего ...

    Читать
  • 20.10.2011
    Бесплатные лицензии на PVS-Studio для MVP

    Пожалуйста, ознакомьтесь с изменениями в триал-модели, которые позволяют использовать PVS-Studio без лицензии..

    Читать
  • 12.10.2011
    Нашему сотруднику Андрею Карпову присвоен статус MVP

    MVP (Most Valuable Professional / Наиболее ценный специалист) - ежеквартально присуждаемое корпорацией Майкрософт звание. Звание присуждается наиболее полезным и активным ...

    Читать
Наши клиенты
© 2008 - 2012, OOO "Program Verification Systems"
support@viva64.com Пишите нам
Orphus
К началу  |   О нас  |   Услуги  |   VivaCore  |   Контакты  |   Карта сайта