Статический анализ - одно из важных средств обеспечения качества разрабатываемых программных продуктов. Особенно хорошо это видно через призму безопасности исходного кода программ. В рамках этого доклада мы рассмотрим, что находится под капотом у этого подхода, какие ошибки с его помощью можно выявить, и стоит ли его использовать.