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

12 Фев 2017

Автор: Павел Беликов

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

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

Скачать презентацию