Главная

Публикации

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

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

Все Статьи Видео Книги Об авторе

Все теги:

#Cpp

#CSharp

#Knowledge

#64bit

#GameDev

#StaticAnalysis

#Release

#Security

#DevOps

#Marketing

#Java

#Compiler

#OS

#GuestArticle

#Embedded

#Broadcasting

#Cpp

16 Апр 2014

Скучная статья про проверку OpenSSL

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

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

...

#Cpp #GameDev

14 Апр 2014

Долгожданная проверка Unreal Engine 4

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

19 марта 2014 года Unreal Engine 4 стал доступен для всех желающих. Цена подписки всего 19$ в месяц. Исходные коды также выложены на github репозиторий. С этого момента нам поступила масса...

...

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

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

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

#Knowledge

13 Апр 2014

Статический и динамический анализ кода

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

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

...

07 Апр 2014

Самая короткая статья о проверке nginx

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

К нам много раз обращались с предложением проверить проект 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 открытых проектов. И про некоторые из...

...