Как анализаторы кода ищут ошибки и дефекты безопасности

В нашем коде ошибок нет — это известная истина. А вот у того, кто писал этот legacy... ух, ему бы анализатор, чтобы все проблемы подсветил. Кстати, а как это работает? Как анализаторы проверяют код и находят в нем ошибки и дефекты безопасности? Какие есть типы анализа, как они дополняют друг друга и в чем их недостатки?

На докладе разберем эти вопросы, посмотрим на примеры ошибок из реальных проектов и затронем тему внедрения анализаторов в процессы.