В статье описывается статический анализ для языков с обработкой исключений.В данной работе предложено низкоуровневое промежуточное представление для поддержкиисключений; описаны анализы потока данных для поиска недостижимого кода, связанного сисключениями; приведена общая схема для статического анализа с учётом возможных путей,возникающих при использовании исключений. Алгоритмы реализованы в анализатореSvaceдля языков C++, Java, Kotlin.