ИР

ИСП РАН | Институт системного программирования им. В. П. Иванникова РАН

Госорганы и учреждения · 20 октября 2026 г.

Открыть канал в MAX

👨‍💻Svace для Go: доклад ИСП РАН на воркшопе KLEE 2026

👨‍💻Svace для Go: доклад ИСП РАН на воркшопе KLEE 2026 Сотрудница ИСП РАН Варвара Дворцова выступила в Мюнхене на пятом международном воркшопе KLEE 2026 по символьному выполнению программ. Она представила доклад Interprocedural Symbolic Static Analysis for Go, посвящённый анализу проектов на языке Go с помощью инструмента Svace. Распространённые инструменты для Go — go vet, staticcheck и golangci-lint — в основном работают как простые статические анализаторы (линтеры): они выявляют локальные проблемы в коде, но не предназначены для поиска ошибок, проявляющихся при взаимодействии нескольких функций или модулей. Svace перехватывает оригинальную сборку проекта и строит его точное представление для различных систем сборки, включая make, Bazel, Please, Pants и других. На этой основе инструмент выполняет межпроцедурный анализ с учётом путей выполнения программы, используя методы символьного выполнения. ✔️Для анализа Go в Svace была добавлена поддержка специфичных конструкций языка: отложенных вызовов defer, замыканий, кортежей и моделирования go map. ⚙️Практическую ценность подхода подтвердил анализ открытых проектов: по найденным ошибкам разработчики направили семь исправлений, пять из которых уже приняты в основные ветки проектов. 🔗ИСП РАН в Telegram 🔗ИСП РАН в МАКС