Видео

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

Конференция: C++ Russia 2018.
Язык C++ и инфраструктура вокруг него продолжает активно развиваться, что делает этот язык одним из самых эффективных инструментов в настоящее время. Хочется выделить три фактора, делающие язык C++ сейчас столь привлекательным.

Первое: нововведения в стандарт языка, позволяющие писать эффективный код.

Второе: зрелость инструментов разработки и увеличение скорости сборки проектов.

Третье: зрелось вспомогательного ...

19 апреля 2018 г.

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

Конференция: CoreHard 2018.
Анализ Data Flow (потоков данных) - технология анализа исходного кода программ, широко используемая в различных development tools: компиляторах, линтерах, IDE.

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

7 апреля 2018 г.

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

Конференция: CoreHard 2017.

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

В докладе не будет фраз типа «купите такой-то инструмент, чтобы не допускать уязвимостей в своем и чужом коде». Авторы доклада на реальных примерах поп...

14 октября 2017 г.

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

В этом видео будет показано, как использовать PVS-Studio. Будут рассмотрены настройки анализатора, которые позволят сделать его использование максимально удобным и продуктивным. Также будут разобраны интересные ошибки, найденные в проектах MonoDevelop и Godot Engine.

17 апреля 2017 г.

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

Вебинар СПБГЭУ

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

10 апреля 2017 г.

Проверяем проект GitExtensions с помощью PVS-Studio

Как известно Ядро Git представляет собой набор утилит командной строки с параметрами. Для комфортной работы как правило используются утилиты, дающие привычный графический интерфейс. Таким инструментом является GitExtensions. Команда PVS-Studio уже проверяла его статическим анализатором PVS-Studio и нашла интересные ошибки, которые описаны в этой статье. Разработчики их пофиксили, а разработчики PVS-Studio, в свою очередь, спустя некоторое врем...

28 марта 2017 г.

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

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

Разработка диагностики V3133 - https://www.viva64.com/ru/video/13/

Все диагностики - https://www.viva64.com/ru/w/

24 марта 2017 г.

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

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

P.S. Поскольку данная диагностика разрабатывалась в режиме live, то в коде была допущена небольшая ошибка, которая в конечном итоге не влияет на работу диагнос...

15 марта 2017 г.

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

Конференция: C++ Russia 2017.
Кто-то верно подметил, что разработчики статических анализатора часто сталкиваются с «проблемой айсберга». Им сложно объяснить разработчикам, почему сложно написать и развивать статические анализаторы кода.

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

24 февраля 2017 г.

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

Конференция: CoreHard 2017.
Статический анализ появился почти 40 лет назад.
В своём докладе автор хочет показать, чему за это время научились статические анализаторы. Он рассмотрит различные методики анализа, как они появлялись и какие ошибки можно найти с помощью них.

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

12 февраля 2017 г.


Найденные ошибки

Проверено проектов
410
Собрано ошибок
14 111

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

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