Современный статический анализ кода: что умеет он, чего не умели линтеры
-
Поток 1
- Очно
-
12:10
-
RU
-
Статический анализ появился почти 40 лет назад.
В своём докладе мы хотим показать, чему за это время научились статические анализаторы.
Мы рассмотрим различные методики анализа, как они появлялись и какие ошибки можно найти с помощью них.
Посмотрим на примеры ошибок, найденных PVS-Studio в Open Source проектах.
Поговорим о том, чем статический анализатор отличается от "линтеров" и некоторых других инструментов, а также какие проблемы решает современный статический анализатор C++ кода, помимо собственно анализа кода.
Павел Беликов
Архитектор в команде PVS-Studio. Заведует кухней внутри ядра статического анализатора. Колдует над версиями для Linux и macOS. Но не гнушается и Visual Studio (по работе если надо).
