Для получения триального ключа
заполните форму ниже
Team License (базовая версия)
Enterprise License (расширенная версия)
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
GBP
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Бесплатная лицензия PVS-Studio для специалистов Microsoft MVP
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

>
О компании
О компании
Наша миссия – повышение качества программ за счет продвижения идеи использования статического анализа кода в мире.
ЧТО мы делаем

Мы разрабатываем, продвигаем и продаем статический анализатор C, C++, C# и Java кода PVS‑Studio.

Наша миссия – повышение качества программ за счет продвижения идеи использования статического анализа кода в мире.
ГДЕ нас найти

На конференциях. Мы посетили с докладами более 175 конференций. Среди них CoreHard, DevGAMM, SECR и другие.

Смотреть видео с конференций

На нашем сайте. Мы публикуем результаты работы анализатора, рассказываем об опыте интеграции и пр.

Смотреть все статьи

В соцсетях. Рассказываем о себе, говорим о языках и даже обучаем. Заходите:

На тематичных ресурсах. О нас говорят на habr, в Java Annotated Monthly и пр.

Перейти в блог на habr

КОГДА цифры важны
> 900
диагностик в анализаторе
> 380
проверок открытых проектов силами нашей команды
> 200
активных клиентов
> 30
сотрудников в штате
> 1000
статей написано
> 100
конференций посещено
Мы находим ошибки и разрушаем мифы
Миф: статический анализатор для новичков, профессионалы не ошибаются.
Мы с этим не согласны. И подтверждаем это делом. Вот лишь часть проверенных нами проектов, в которых с помощью анализатора PVS-Studio были найдены ошибки:
Мы растем
2006
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
Начало 2006
Появилась идея сделать анализатор для диагностики ошибок миграции кода на 64-битные системы. В то время только появились 64-битные процессоры для домашних компьютеров, 64-битные операционные системы Windows и первый 64-битный C++ компилятор для Windows в составе Visual Studio 2005. На фоне волны 64-битных изменений мы хотели сделать инструмент, который быстро станет популярным, а мы заработаем кучу денег. Но не смогли. Быстро популярным инструмент не стал, да и деньги придут лишь через много лет работы и новых промахов.
31.12.2006
Первый публичный релиз Viva64 1.00 в Интернете.
21.03.2008
Основана компания ООО "СиПроВер" (OOO Program Verification Systems).
09.07.2008
Выход Viva64 2.00.
27.11.2008
Первая бета-версия VivaMP, анализатора проблем в многопоточных программах, построенных с использованием технологии OpenMP. У нас не получилось быстро с 64-битными ошибками, но на рынке начали появляться компьютеры с несколькоими ядрами. Для которых очевидно понадобится программное обеспечение, поддерживающее параллельную работу. Это наш новый шанс!
10.03.2009
Выход VivaMP 1.00.
27.07.2009
Выход PVS-Studio 3.00 - в котором Viva64 и VivaMP объединены в один продукт.
24.11.2010
Выход бета-версии PVS-Studio 4.00, в которой появился новый набор правил статического анализа общего назначения (General Analysis, V501-V545). Изначально новые диагностики были бесплатными и задумывались как способ привлечь внимание к 64-битному и OpenMP анализаторам кода. Мы чуть не сделали главную ошибку.
24.12.2010
Релиз PVS-Studio 4.00, в котором диагностики General Analysis стали платными. Мы все-таки не сделали главную ошибку. И с 2011 года мы наконец-то поняли, как продукт нужен людям, как нам его делать и, главное, как продавать. В этой же версии впервые появились корпоративные лицензии (Site License).
23.06.2011
В PVS-Studio 4.30 появляется инкрементальный анализ - возможность автоматически запускать анализатор для тех файлов, которые только что были изменены и перекомпилированы. Это позволило начать регулярно использовать PVS-Studio на локальных машинах разработчиков. А также исправлять ошибки еще до того, как они окажутся в системе контроля версий.
15.07.2011
В PVS-Studio 4.32 мы отказались от лицензий для одного пользователя. Это было одно из самых лучших бизнес-решений в истории компании.
15.12.2011
В PVS-Studio 4.50 для препроцессирования (и только для него!) стал использоваться Clang, а не только Visual C++.
19.01.2012
В PVS-Studio 4.53 уже 100 сообщений анализа общего назначения (V501-V600).
01.02.2012
В PVS-Studio 4.54 появился новый триал-режим - теперь ограничиваются только клики (переходы к месту ошибки), вместо ограничения на показ ошибок.
18.04.2012
В PVS-Studio 4.60 появился новый набор диагностик "Микро-оптимизации" для поиска тех мест падения производительности, которые можно обнаружить статическим анализом.
31.01.2013
В PVS-Studio 5.00 появилась интеграция в Embarcadero RAD Studio. Нам казалось, что в мире полно пользователей C++Builder. Мы были не правы. Ну или мы до них не достучались.
07.10.2013
В PVS-Studio 5.10 появилось отдельное приложение Standalone.
14.01.2014
Мы выпустили CppCat 1.00 - основанный на PVS-Studio недорогой статический анализатор. Мы его называли "альтернативой PVS-Studio за $250". Идея была в том, чтобы выпустить статический анализатор высокого уровня, но за очень небольшие деньги. Он был сильно дешевле. Якобы тогда намного больше разработчиков будут покупать и использовать наши решения. Возможно мы бы даже тогда совсем отказались от PVS-Studio, который представлялся нам большой и тяжелой программой с историей. В противовес легкому и молодому CppCat, в котором простой интерфейс сочетался с огромными возможностями анализа кода.
30.06.2014
В PVS-Studio 5.18 появилась функция CLMonitoring - перехват вызова компилятора.
12.11.2014
В PVS-Studio 5.20 появилась возможность массового подавления неинтересных сообщений. Благодаря чему внедрение анализатора в процесс разработки упростилось многократно.
11.12.2014
В PVS-Studio 5.21 мы доросли до удаления, а не написания кода. Так мы удалили поддержку Embarcadero RAD Studio и диагностик OpenMP (остатки анализатора VivaMP, который умер задолго до его "погребения").
26.04.2015
Мы закрыли проект CppCat. Мир не оценил наш порыв. Мы продали очень мало лицензий, да и то тем, кто знал нас по PVS-Studio. Фактически мы просто потеряли часть клиентов PVS-Studio. Которых потом пришлось долго и мучительно переводить на PVS-Studio. Не помогла ни низкая цена, ни крутой и простой интерфейс, не персонаж в виде кота, которых якобы так любят программисты. Конечно, мы просто не умеем зарабатывать на дешевых инструментах. Но мы свой эксперимент длинною 1.5 года провели и больше к этой теме не вернемся.
22.12.2015
В PVS-Studio 6.00 появился статический анализ кода для C# (более 40 диагностик).
09.06.2016
Добавлена отдельная command line версия PVS-Studio (PVS-Studio_Cmd), поддерживающая проверку vcxproj и csproj проектов (C++ и C#).
09.06.2016
В PVS-Studio 6.05 мы достигли 100 диагностик для C# значительно быстрее - за 10 месяцев разработки вместо 19 месяцев для C++. Однако команда для C# была несравнимо больше, да и использовался Roslyn (точнее Code Analysis Framework из него). Так и хочется написать: "Вот в наше время программисты были ого-го-го!". Но тогда мы не учтем сложность продукта, сложность поддержки и много чего еще.
08.08.2016
PVS-Studio больше не поддерживает работу на 32-битных операционных системах.
08.08.2016
В PVS-Studio появилась интеграция с SonarQube.
25.10.2016
В PVS-Studio 6.10 появилась версия для Linux. Хотя мы столько лет избегали этого...
17.03.2017
Поддержка Visual Studio 2017.
30.08.2017
Добавлена интеграция с Jenkins.
01.12.2017
Вы можете сохранить результаты анализа в формате HTML с полной навигацией по коду. Это позволяет удобно работать с отчетами PVS-Studio на компьютерах без полного развертывания все кодовой базы.
15.01.2018
Добавлена поддержка CWE (Common Weakness Enumeration) и SEI CERT. С этого момента PVS-Studio представляет собой полноценное SAST решение.
28.02.2018
В PVS-Studio 6.22 появилась поддержка компиляторов для встраиваемых систем (Embedded). Разработчики, использующие Keil и IAR, первыми смогли попробовать анализатор на своих проектах. Также появилась поддержка GNU Arm Embedded Toolchain и Texas Instruments Code Composer Studio.
03.12.2018
В 2018 году статический анализатор кода PVS-Studio начал классифицировать свои предупреждения согласно стандартам MISRA C и MISRA C++. Благодаря поддержке этих стандартов анализатор стало возможным эффективно использовать для улучшения безопасности, переносимости и надежности программ для встраиваемых систем.
16.01.2019
В PVS-Studio версии 7.00 появился статический анализатор для Java. В первой версии у нас есть уже 66 диагностик. Анализатор разработан не с нуля. Мы взяли всю логику из C++ анализатора, оформили её в отдельную библиотеку. И стали использовать вместе с парсером Java. Таким образом уже первая версия анализатора включила в себя более чем десятилетний опыт разработки статических анализаторов кода. Для пользователей мы сделали плагины для Maven, Gradle, IntelliJ IDEA и SonarQube. Запуск анализатора возможен сразу на трёх платформах: Windows, Linux и macOS.
05.02.2019
2018 год стал годом конференций для нас. Всего за этот год их набралось порядка 23 штук, что для нас пока является рекордом. На одних мы выступали с докладами, митапами и мастер-классами, на других стояли со стендом или присутствовали в качестве слушателей, на третьих делали все перечисленное. Конечно, мы и до этого принимали участие в мероприятиях разного уровня, но не так активно, как сейчас. Вот ссылка на отчетную статью со списком конференций, а также с видео докладов.
13.03.2019
На всех платформах мы перешли на одинаковую модель триала: запрос недельного ключа с сайта. Без ключа программа полностью не работает. При этом на конференциях мы выдаем ключи на месяц. За месяц можно не просто пару раз прогнать программу, но и внедрить в процесс разработки, чтобы посмотреть, как продукт выглядит в реальном ежедневном использовании.
25.04.2019
Поддержка Visual Studio 2019.
18.06.2020

В PVS-Studio 7.08 появилась возможность запуска C# анализатора на Linux и macOS. Другим крупным обновлением, вошедшим в этот релиз, стал выпуск плагина PVS-Studio для IDE JetBrains Rider. Это позволит C# разработчикам удобно использовать анализатор на всех основных платформах.

27.08.2020

PVS-Studio включён в отчёт "Now Tech: Static Application Security Testing, Q3 2020" как SAST-специализированный инструмент. Стоит отметить, что Forrester Research является одним из ведущих исследователей влияния развития инновационных технологий на бизнес. Отчёт об исследовании доступен для покупки подписчикам и клиентам Forrester Research.

05.11.2020

Мы продолжаем развивать PVS-Studio как SAST (Static Application Security Testing) инструмент. Новым шагом в этом направлении стало начало работ по поддержке стандартов  OWASP ASVS и AUTOSAR C++14 Coding Guidelines. На нашем сайте можно посмотреть таблицы сопоставления диагностических правил анализатора этим стандартам: OWASP ASVS, AUTOSAR C++14 Coding Guidelines

11.03.2021

Добавлено сопоставление диагностических правил PVS-Studio с рейтингом наиболее опасных угроз защищённости Web-приложений OWASP Top 10. Данный рейтинг основан на общем мнении экспертов по вопросам безопасности со всего мира и помогает разработчикам и экспертам по безопасности обнаруживать и своевременно устранять риски в разрабатываемых ими приложениях.

18.03.2021
31.05.2021

C# анализатор PVS-Studio теперь поддерживает анализ проектов для платформы .NET 5. Microsoft позиционирует .NET как единую платформу кроссплатформенной разработки, которая будет развиваться как основная в будущем. .NET 5 - первая реализация этой платформы. Подробнее про поддержку .NET 5 в PVS-Studio можно прочитать в нашем блоге.

 
 

 

 

Мы собираем вокруг себя лучших
Гордимся своими клиентами:
Гордимся своими сотрудниками:
Мы рассказываем про статический
анализ кода и не только
Зло живёт в функциях сравнения

Дата: 19 Май 2017

Автор: Андрей Карпов

Возможно, читатели помнят мою статью под названием "Эффект последней строки". В ней идёт речь о замеченной мной закономерности: ошибка чаще всего допускается в последней строке однотипных блоков текс…
Главный вопрос программирования, рефакторинга и всего такого

Дата: 14 Апр 2016

Автор: Андрей Карпов

Вы угадали, ответ - "42". Здесь приводится 42 рекомендации по программированию, которые помогут избежать множества ошибок, сэкономить время и нервы. Автором рекомендаций выступает Андрей Карпов - тех…
Технологии, используемые в анализаторе кода PVS-Studio для поиска ошибок и потенциальных уязвимостей

Дата: 21 Ноя 2018

Автор: Андрей Карпов

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

Дата: 22 Дек 2018

Автор: Андрей Карпов

В канун празднования нового 2019 года команда PVS-Studio решила сделать приятный подарок всем контрибьюторам open-source проектов, хостящихся на GitHub, GitLab или Bitbucket. Им предоставляется возмо…
Как и почему статические анализаторы борются с ложными срабатываниями

Дата: 20 Мар 2017

Автор: Андрей Карпов

В своей предыдущей статье я писал, что мне не нравится подход, при котором статические анализаторы кода оцениваются с помощью синтетических тестов. В статье приводился пример, воспринимаемый анализат…
Характеристики анализатора PVS-Studio на примере EFL Core Libraries, 10-15% ложных срабатываний

Дата: 31 Июл 2017

Автор: Андрей Карпов

После большой статьи про проверку операционной системы Tizen мне было задано много вопросов о проценте ложных срабатываний и о плотности ошибок (сколько ошибок PVS-Studio выявляет на 1000 строк кода)…
PVS-Studio для Java

Дата: 17 Янв 2019

Автор: Андрей Карпов

В седьмой версии статического анализатора PVS-Studio мы добавили поддержку языка Java. Пришло время немного рассказать, как мы начинали делать поддержку языка Java, что у нас получилось и какие дальн…
PVS-Studio ROI

Дата: 30 Янв 2019

Автор: Андрей Карпов

Время от времени нам задают вопрос, какую пользу в денежном эквиваленте получит компания от использования анализатора PVS-Studio. Мы решили оформить ответ в виде статьи и привести таблицы, которые по…
Эффект последней строки

Дата: 31 Май 2014

Автор: Андрей Карпов

Я изучил множество ошибок, возникающих в результате копирования кода. И утверждаю, что чаще всего ошибки допускают в последнем фрагменте однотипного кода. Ранее я не встречал в книгах описания этого …
Статический анализ как часть процесса разработки Unreal Engine

Дата: 27 Июн 2017

Автор: Андрей Карпов

Проект Unreal Engine развивается - добавляется новый код и изменятся уже написанный. Неизбежное следствие развития проекта - появление в коде новых ошибок, которые желательно выявлять как можно раньш…
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять