Д. Н. Субботин, А. Е. Бородин, В. В. Дворцова, “Статический анализ ассоциативных массивов в Go”, Труды ИСП РАН, 2024, том 36, выпуск 3,страницы 21

Статический анализ ассоциативных массивов в Go

Д. Н. Субботин^ab, А. Е. Бородин^a, В. В. Дворцова^ba

^a Институт системного программирования им. В.П. Иванникова РАН
^b Московский государственный университет имени М. В. Ломоносова

Аннотация: В статье описывается статический анализ ассоциативных массивов в языке Go для поиска разыменования нулевого указателя при извлечении ключа. Кратко вводятся внутреннее представление и алгоритмы анализатора Svace, в рамках которого выполнялась работа, затем описываются необходимые изменения внутреннего представления, моделирование семантики ассоциативных массивов, как для внутрипроцедурного, так и для межпроцедурного анализа на основе резюме, предлагается детектор поиска разыменований нулевого указателя. Приводятся экспериментальные результаты на широком круге открытых проектов.

Ключевые слова: статический анализ, Svace, Go, анализ коллекций, символьное выполнение

DOI: 10.15514/ISPRAS-2024-36(3)-2