Конференция: CoreHard 2017.
Статический анализ появился почти 40 лет назад.
В своём докладе автор хочет показать, чему за это время научились статические анализаторы. Он рассмотрит различные методики анализа, как они появлялись и какие ошибки можно найти с помощью них.
Автор доклада предлагает посмотреть на примеры ошибок, найденных PVS-Studio в Open Source проектах, поговорить о том, чем статический анализатор отличается от "линтеров" и некоторых других инструментов, а также какие проблемы решает современный статический анализатор C++ кода, помимо собственно анализа кода.
0