Главная

Публикации

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

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

#Cpp #OS

03 Янв 2015

PVS-Studio покопался во внутренностях Linux (3.18.1)

Андрей Карпов, Святослав Размыслов

В рекламных целях мы решили попробовать проверить ядро Linux с помощью нашего статического анализатора кода. Эта задача интересна своей сложностью. Исходные коды Linux чем только не проверялись...

...

15 Дек 2014

Заметка о новых настройках диагностик

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

Несмотря на то, что наш анализатор позиционирует себя как одно из наиболее простых средств в установке и повседневном использовании (всё работает "из коробки" и не требует никакой...

...

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

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

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

#Release

11 Дек 2014

Мы прекратили поддержку среды разработки Embarcadero RAD Studio

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

Мы приняли решение начиная с версии 5.21 прекратить поддержку в PVS-Studio среды разработки Embarcadero RAD Studio. Анализатор более не будет интегрироваться с этой средой и выполнять...

...

10 Дек 2014

Почему студентам нужен анализатор кода CppCat

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

CppCat – это простой статический анализатор кода для поиска ошибок в программах на языке Си/Си++. Мы начали выдавать бесплатные академические лицензии всем желающим (студентам, преподавателям и...

...

#Cpp

28 Ноя 2014

Проект Miranda NG получает приз "дикие указатели" (часть вторая)

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

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

...

#Cpp

25 Ноя 2014

Проект Miranda NG получает приз "дикие указатели" (часть первая)

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

Я добрался до проекта Miranda NG и проверил его с помощью анализатора кода PVS-Studio. К сожалению, с точки зрения работы с памятью и указателями это самый неаккуратный проект из виданных мной...

...

13 Ноя 2014

Бесплатный CppCat для студентов

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

CppCat – это статический анализатор кода, интегрирующийся в среду Visual Studio 2010-2013. Анализатор предназначен для регулярного использования и позволяет выявить множество ошибок и опечаток...

...

#Cpp #Knowledge #Compiler

13 Окт 2014

Тяп-ляп, проверил библиотеки Visual C++ 2013 (update 3)

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

Мне предложили проверить библиотеки, входящие в Visual Studio 2013. Ничего особенно примечательного я не нашёл. Только несколько мелких ошибок и недочётов. Интригующую статью из этого не сделаешь...

...

18 Сен 2014

Давай поиграем в игру

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

Авторы анализатора PVS-Studio предлагают вам проверить свою...

...

15 Сен 2014

Пересечение PVS-Studio и Cppcheck

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

Неоднократно нам задавали вопрос, как сильно пересекаются диагностики нашего анализатора PVS-Studio и анализатора Cppcheck. Я решил написать маленькую статью на эту тему, чтобы быстро отвечать...

...