C++ Siberia 2019: Евгений Рыжков, Современные технологии статического анализа кода

Конференция C Russia 2019 Piter: 31 октября — 1 ноября 2019, Санкт-Петербург. Подробности и билеты: Многие разработчики до сих пор думают, что статический анализ кода – это утилита типа lint из 80-х годов, которая с помощью регулярных выражений находит только самые примитивные ошибки. К счастью, это давно не так. Анализ потока данных, символьное выполнение, аннотирование методов, сопоставление с шаблоном – все это позволяет находить мощные и интересные ошибки. Рассмотрим эти техноло