ruSTEP02jun22Belevantsev

Андрей Андреевич Белеванцев (Институт системного программирования РАН): Алгоритмы статического анализа инструмента Svace - Вторая часть выступления 2 июня 2022 г. В докладе представлено современное состояние статического анализатора Svace, разрабатываемого в Институте системного программирования им. Иванникова РАН. Svace ищет ошибки в программах на языках С/С++, Java, Kotlin, Go и C#. Будет дано краткое описание анализатора, после чего представлены основные алгоритмы внутрипроцедурного анализа потока данных, основанные на идентификаторах значений, межпроцедурного анализа на основе резюме, статического символьного выполнения, вспомогательные алгоритмы анализа. Также будут обсуждены особенности анализа языков, отличных от С.