Главная

Публикации

Видео

Публикации: видео

Все Статьи Видео Книги Развлечения

Ошибки

Возможности PVS-Studio С++ лекции Интересное

Ещё

Доклады с конференций Подкасты Внутренняя кухня Вебинары

19 Апр 2018

Эффективный C++ (Маерс тут ни при чём :)

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

Первое: нововведения в стандарт языка, позволяющие писать эффективный код. Второе: зрелость инструментов разработки и увеличение скорости сборки проектов. Третье: зрелось вспомогательного инструментария, позволяющие контролировать качество кода и другие аспекты жизненн…

...

07 Апр 2018

Как работает анализ Data Flow в статическом анализаторе кода

Павел Беликов

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

...

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

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

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

14 Окт 2017

Поиск уязвимостей с использованием статического анализа кода

Андрей Карпов, Евгений Рыжков

В последнее время все чаще слышно о новых и новых уязвимостях, обнаруженных в программном обеспечении. Уже стало очевидно, что писать код без уязвимостей человечество не может. Но могут ли современные инструменты разработки помочь обнаружить хотя бы некоторые ошибки? В…

...

10 Апр 2017

Отличие статического анализатора кода от предупреждений компилятора

Максим Стефанов

Вебинар СПБГЭУ Что же такое code review и статический анализ? Чем отличаются специализированные инструменты статического анализа от предупреждений компилятора? Каковы возможности анализатора и компилятора при диагностировании ошибочных мест? Об этом можно узнать в данн…

...

24 Мар 2017

Разработка новой C# диагностики. Выход за границы при битовом сдвиге

Иван Кищенко

Разработка диагностики V3134.В этом видео будет кратко показано, как разрабатываются новые диагностики для нашего статического анализатора PVS-Studio на примере новой C# диагностики V3134. Будет рассказано, как идея или случайно найденная ошибка в коде превращается в п…

...

15 Мар 2017

Разработка новой C# диагностики. Как мы это делаем, от идеи до прототипа

Иван Кищенко

Разработка диагностики V3133.В этом видео будет кратко показано, как разрабатываются новые диагностики для статического анализатора PVS-Studio на примере новой C# диагностики. Будет продемонстрировано, как идея или случайно найденная ошибка в коде превращается в полноц…

...

24 Фев 2017

Как потратить 10 лет на разработку анализатора кода

Андрей Карпов, Евгений Рыжков

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

...

12 Фев 2017

Современный статический анализ кода: что умеет он, чего не умели линтеры

Павел Беликов

Автор доклада предлагает посмотреть на примеры ошибок, найденных PVS-Studio в Open Source проектах, поговорить о том, чем статический анализатор отличается от "линтеров" и некоторых других инструментов, а также какие проблемы решает современный статический анализатор C…

...

22 Окт 2016

Подготовка Linux-версии PVS-Studio

Евгений Рыжков

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

...

26 Авг 2016

Как избежать ошибок, используя современный C++

Павел Беликов

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

...