Главная

Публикации

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

Публикации: Андрей Карпов

07 Апр 2014

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

К нам много раз обращались с предложением проверить проект nginx. Мы делали это около года назад. Ничего интересного не нашли. Недавно мы вновь проверили этот проект и опять ничего не нашли. Так...

...

#Cpp

02 Апр 2014

Занимательная археология. Или PVS-Studio проверяет Microsoft Word 1.1a

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

Недавно компания Microsoft сделала подарок всем программистам, которые хотят покопаться в чем-то интересном. Microsoft открыли исходный код MS-DOS v 1.1, v 2.0 и Word for Windows 1.1a...

...

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

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

Даю согласие на обработку своих персональных данных в соответствии с Политикой обработки персональных данных

#Cpp

30 Мар 2014

Математикам доверяй, но проверяй

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

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

...

#Cpp

18 Мар 2014

Единорог заинтересовался микромиром

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

В этот раз интересные примеры ошибок нам преподнёс микромир. Мы проверили с помощью анализатора кода PVS-Studio открытый проект μManager. Это программный пакет для автоматизированного...

...

12 Мар 2014

Сравнение анализаторов кода: CppCat, Cppcheck, PVS-Studio, Visual Studio

Андрей Карпов, Евгений Рыжков, Павел Еремеев, Святослав Размыслов

Мы провели подробное сравнение четырёх анализаторов Си/Си++ кода: CppCat, Cppcheck, PVS-Studio и статический анализатор, встроенный в Visual Studio 2013. Это серьезное исследование, на которое...

...

12 Мар 2014

Как мы сравнивали анализаторы кода CppCat, Cppcheck, PVS-Studio, Visual Studio

Андрей Карпов, Евгений Рыжков, Павел Еремеев, Святослав Размыслов

Мы провели подробное сравнение четырёх анализаторов Си/Си++ кода: CppCat, Cppcheck, PVS-Studio и статический анализатор, встроенный в Visual Studio. В этой статье подробно рассматриваются...

...

#Cpp #GameDev

10 Мар 2014

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

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

Мы закончили сравнивать статические анализаторы кода Cppcheck, PVS-Studio и анализатор встроенный в Visual Studio 2013. В ходе этого было проверено более 10 открытых проектов. И про некоторые из...

...

#Cpp

26 Фев 2014

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

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

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

...

#Cpp

21 Фев 2014

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

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

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

...

15 Фев 2014

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

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

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

...