Eng
  1. ГЛАВНАЯ

О компании


Мы разрабатываем, продвигаем и продаем статический анализатор C, C++ и C# кода PVS-Studio. Это инструмент для программистов, который экономит деньги компаний за счет раннего обнаружения программных ошибок путем анализа исходного кода.

Мы в цифрах

10 Лет
23 Человек
317 Проверенно проектов
12 147 Собрано ошибок

Миссия компании

Что, сразу зевнули? :-) Не бойтесь, наша миссия проста и понятна.

Наша миссия - повышение качества программ. Наша задача - не найти какие-то ошибки, а повысить качество и уровень разработки программного обеспечения. Мы продаём миру идею использования статического анализа кода в целом. Использование методологии статического анализа экономит время при разработке, делает программистов более ответственными, дополнительно контролирует новичков и экономит деньги и нервы конечных пользователей программ. И мы должны донести весть о статическом анализе всему миру. Доносим мы это не абстрактно, а конкретно, предлагая использовать наш анализатор PVS-Studio. Мир благодарен нам за это, что находит отражение в приобретении лицензий.

В статьях и выступлениях на конференциях мы НЕ рекламируем PVS-Studio в лоб типа "покупайте PVS-Studio и все будет хорошо". Мы говорим: "Используйте статический анализ кода и всё будет хорошо. Какой? Например, PVS-Studio."

История в датах

Начало 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

В PVS-Studio 6.05 мы достигли 100 диагностик для C# значительно быстрее - за 10 месяцев разработки вместо 19 месяцев для C++. Однако команда для C# была несравнимо больше, да и использовался Roslyn (точнее Code Analysis Framework из него). Так и хочется написать: "Вот в наше время программисты были ого-го-го!". Но тогда мы не учтем сложность продукта, сложность поддержки и много чего еще.

25.10.2016

В PVS-Studio 6.10 появилась версия для Linux. Хотя мы столько лет избегали этого...

2017

Год развития ядра анализатора кода и инфраструктуры: существенно улучшен механизм Data Flow анализа, интеграция с SonarQube, поддержка Common Weakness Enumeration (CWE), HTML отчёт с возможностью навигации по коду.

...

...

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++ и C#

goto PVS-Studio;

Найденные ошибки

Проверено проектов
317
Собрано ошибок
12 147

Qt

C++ 
int gx = gm.x.toInt();
int gy = gm.y.toInt();
int iw = gm.width.toInt();
int ih = gm.height.toInt();
if (iw <= 0 || iw <= 0)
  return 0;

UnrealEngine

C++ 
switch ( BlendMode )
{
case Opaque:
  BackgroundColor.A = 1.0f;
case Masked:
  BackgroundColor.A = 0.0f;
}

Xamarin

C# 
get {
  return Left == 0 &&
         Top == 0 &&
         Right == 0 &&
         Left == 0;
}

Chromium

C++ 
void Explode(bool is_local,
  Exploded* exploded) const
{
  ....
  ZeroMemory(
    exploded,
    sizeof(exploded));
  ....
}

Qt

C++ 
int gx = gm.x.toInt();
int gy = gm.y.toInt();
int iw = gm.width.toInt();
int ih = gm.height.toInt();
if (iw <= 0 || iw <= 0)
  return 0;

UnrealEngine

C++ 
switch ( BlendMode )
{
case Opaque:
  BackgroundColor.A = 1.0f;
case Masked:
  BackgroundColor.A = 0.0f;
}

Xamarin

C# 
get {
  return Left == 0 &&
         Top == 0 &&
         Right == 0 &&
         Left == 0;
}

Chromium

C++ 
void Explode(bool is_local,
  Exploded* exploded) const
{
  ....
  ZeroMemory(
    exploded,
    sizeof(exploded));
  ....
}
Все проекты →

Последние статьи

Все публикации →

Это интересно!