PVS-Studio

Главная

Публикации

Ошибки

03 Мар 2014

Про гребцов и программистов, или аналогии в академической гребле и бизнесе по разработке программного обеспечения

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

По роду своей деятельности я часто общаюсь с программистами. Моя компания занимается разработкой, продвижением и продажей собственного программного продукта. Это статический анализатор...

...

28 Фев 2014

Сколько стоит одна ошибка в наших программах, или какие ошибки бывают в PVS-Studio и CppCat

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

В списке вопросов, которые всегда задают нам после прочтения наших статей есть вопрос: "А вы проверяете код своего анализатора им самим?". И дается ответ в том ключе, что у нас всегда проверяется...

...

Подписаться на рассылку

Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!

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

#Cpp

26 Фев 2014

Эксперимент по проверке библиотеки glibc

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

Мы провели эксперимент по проверке библиотеки glibc с помощью PVS-Studio. Цель эксперимента посмотреть, насколько успешно анализатор может проверять Linux-проекты. Пока плохо может...

...

22 Фев 2014

Как продвигать продукты для программистов

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

О продвижении сайтов, веб-сервисов и мобильных приложений написано довольно много статей. Настолько много, что может показаться, что "обычных" приложений уже больше никто и не делает. А значит...

...

#Cpp

21 Фев 2014

Побочный результат: проверяем Firebird с помощью PVS-Studio

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

Сейчас мы заняты большой задачей. Мы хотим провести сравнение анализаторов кода: Cppcheck, PVS-Studio и Visual Studio 2013 (встроенный анализатор кода). Для этого мы решили проверить не...

...

15 Фев 2014

Open-source проекты, которые мы проверили с помощью PVS-Studio

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

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

...

07 Фев 2014

LibRaw, Coverity SCAN, PVS-Studio

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

Прочитал заметку о проверке маленького проекта LibRaw с помощью Coverity SCAN. Из статьи следует, что ничего интересного не нашлось. Решил попробовать, сможет ли найти что-то анализатор...

...

04 Фев 2014

CppCat – тульский анализатор кода C++ с большими амбициями

Константин Панфилов

Сегодня мы разговаривали с Евгением Рыжковым, генеральным директором компании "Системы программной верификации", которая занимается разработкой программного обеспечения в области...

...

27 Янв 2014

Беседа с Андреем Карповым, техническим директором проектов PVS-Studio и CppCat

Дмитрий Ткаченко

В сети время от времени появляются статьи, посвященные статическому анализатору кода PVS-Studio (также рассматриваются и иные анализаторы), в которых то и дело делаются проверки того или...

...

23 Янв 2014

Обзор статического анализатора CppCat

Владимир Корнейчук

Совсем недавно был презентован новый инструмент статического анализа С++ кода — CppCat. О предыдущем своём проекте (PVS-Studio) его авторы долго и подробно рассказывали ранее. Отношение к нему у...

...