Главная

Публикации

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

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

06 Янв 2019

PVS-Studio и Bug Bounties on Free and Open Source Software

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

Европейский союз стартовал в январе очередную большую охоту за ошибками в открытых программных проектах. Суммарный призовой фонд составляет около 850 тысяч евро. А теперь даём подсказку. Одним...

...

#Marketing

22 Дек 2018

Бесплатный PVS-Studio для тех, кто развивает открытые проекты

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

В канун празднования нового 2019 года команда PVS-Studio решила сделать приятный подарок всем контрибьюторам open-source проектов, хостящихся на GitHub, GitLab или Bitbucket. Им...

...

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

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

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

#Cpp #DevOps

18 Дек 2018

Проверка проекта LibrePCB с помощью PVS-Studio внутри Docker контейнера

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

Это классическая статья о том, как наша команда проверила открытый проект LibrePCB с помощью статического анализатора кода PVS-Studio. Однако статья интересна тем, что проверка осуществлялась...

...

#Cpp #Embedded

10 Дек 2018

PVS-Studio: поддержка стандартов кодирования MISRA C и MISRA C++

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

Начиная с версии 6.27 статический анализатор кода PVS-Studio может классифицировать свои предупреждения согласно стандартам MISRA C и MISRA C++. Благодаря поддержке этих стандартов анализатор...

...

07 Дек 2018

Что могут статические анализаторы, чего не могут программисты и тестировщики

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

Одной из технологий выявления ошибок на ранних этапах является статический анализ кода. К сожалению, ряд инструментов реализуют анализ весьма поверхностно, что снижает доверие к методологии статического анализа в целом. Некоторые программисты начинают думать, что анали…

...

#Cpp #StaticAnalysis

27 Ноя 2018

Godot: к вопросу о регулярном использовании статических анализаторов кода

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

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

...

#Cpp #Knowledge #StaticAnalysis #Security

21 Ноя 2018

Технологии, используемые в анализаторе кода PVS-Studio для поиска ошибок и потенциальных уязвимостей

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

Краткое описание технологий, используемых в инструменте PVS-Studio, которые позволяют эффективно обнаруживать большое количество паттернов ошибок и потенциальных уязвимостей. Статья...

...

16 Ноя 2018

Паттерны 64-битных ошибок в играх

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

Написание на C и C++ 64-битных программ, работающих с большими массивами данных, требует особой аккуратности. В 64-битном коде встречаются особые трудноуловимые ошибки, о которых редко рассказывают в книгах или на конференциях. Автор рассмотрит паттерны 64-битных ошибо…

...

03 Ноя 2018

Опыт разработки статического анализатора кода

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

Автор доклада постарается в общих чертах описать, как всё обстоит на самом деле. Он покажет на примерах, почему нормальный анализ с помощью регулярных выражений нереализуем, что такое Data Flow анализ, а также расскажет о других технологиях, применяемых при анализе код…

...

#Cpp

22 Окт 2018

Как PVS-Studio оказался внимательнее, чем три с половиной программиста

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

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

...