Главная

Публикации

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

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

#Cpp #StaticAnalysis

04 Май 2017

Проверяем код динамического анализатора Valgrind с помощью статического анализатора

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

Сразу скажу, что статья пишется вовсе не для того, чтобы показать, что статический анализ работает лучше, чем динамический. Такое утверждение будет неверным, так же, как и обратное...

...

#Cpp

02 Май 2017

Как используя PVS-Studio можно улучшить Visual C++ 2017 Libraries

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

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

...

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

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

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

19 Апр 2017

Команда PVS-Studio: аудит кода и другие услуги

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

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

...

#Cpp #64bit #Security

19 Апр 2017

Простая ошибка при кодировании - не значит нестрашная ошибка

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

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

...

#Knowledge #StaticAnalysis

14 Апр 2017

Статья о статическом анализе кода для менеджеров, которую не стоит читать программистам

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

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

...

#Cpp #Security #OS

06 Апр 2017

Как найти 56 потенциальных уязвимостей в коде FreeBSD за один вечер

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

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

...

#Cpp #Security

31 Мар 2017

Дефекты безопасности, которые устранила команда PVS-Studio на этой неделе: выпуск N4

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

Мы решили в меру своих сил регулярно искать и устранять потенциальные уязвимости и баги в различных проектах. Можно назвать это помощью open-source проектам. Можно - разновидностью рекламы...

...

31 Мар 2017

Команда PVS-Studio готова выполнять регулярный аудит вашего кода

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

Наша команда на платной основе проведёт аудит кода вашего проекта и исправит все обнаруженные ошибки. Речь идёт о проектах на языках C# и C++. Разовый аудит, конечно, не лучший способ...

...

#Cpp #Security

24 Мар 2017

Дефекты безопасности, которые устранила команда PVS-Studio на этой неделе: выпуск N3

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

...

#Cpp #Knowledge #StaticAnalysis

20 Мар 2017

Как и почему статические анализаторы борются с ложными срабатываниями

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

В своей предыдущей статье я писал, что мне не нравится подход, при котором статические анализаторы кода оцениваются с помощью синтетических тестов. В статье приводился пример...

...