Статья: МЕЖПРОЦЕДУРНЫЙ СТАТИЧЕСКИЙ АНАЛИЗ ДЛЯ ПОИСКА ОШИБОК В ПРОГРАММАХ НА ЯЗЫКЕ GO

Скачать

За последние годы популярность языка Go значительно возросла. Вместе с тем в настоящее время для языка Go существуют только легковесные статические анализаторы. Мы восполнили этот пробел, адаптировав статический анализатор Svace для поиска ошибок в программах на языке Go. Нами был реализован межпроцедурный и межмодульный статический анализатор имеющий чувствительность к потоку и путям. Для оценки результатов использовалось 10 проектов с открытым исходным кодом. 16 оцениваемых детекторов выдали 6817 предупреждений с 76 срабатываний.

Информация о документе

Формат документа: PDF
Кол-во страниц: 1 страница
Загрузил(а): Болотников И.
Лицензия: —
Доступ: Всем

Информация о статье

ISSN: 0132-3474
Журнал: ПРОГРАММИРОВАНИЕ
Год публикации: 2021
Автор(ы): Болотников И. В., Бородин А. Е.
Ключевые фразы: СТАТИЧЕСКИЙ АНАЛИЗ ДЛЯ ПОИСКА ОШИБОК В ПРОГРАММАХ НА ЯЗЫКЕ GO, ЯЗЫК GO
УДК: 004.421.6. Алгоритмы символьной обработки

Статистика просмотров

Статистика просмотров статьи за 2025 год.

Ранее вы смотрели (10)

01. Статья: Французские колонизаторы о «Других» колонизаторах: Великобритания и Германия в нарративах Поля Леруа-Больё и Жюля Ферри

02. Статья: ОНТОЛОГИЧЕСКАЯ МОДЕЛЬ КОНКРЕТНО УНИВЕРСАЛЬНОГО В ЛОГИКЕ ВСЕЕДИНСТВА: ОТ НЕОГЕГЕЛЬЯНСТВА Ф. Г. БРЭДЛИ ДО СОФИОЛОГИИ П. А. ФЛОРЕНСКОГО

03. Статья: ПРОБЛЕМЫ ШАРИАТА В ИНТЕЛЛЕКТУАЛЬНОМ ДИСКУРСЕ СОВРЕМЕННОГО ИНДОНЕЗИЙСКОГО ОБЩЕСТВА

04. Книга: Применение математических знаний в профессиональной деятельности. Пособие для саморазвития бакалавра: Ч. 2. Теория вероятностей и математическая статистика

05. Книга: Вычислительная геометрия. Применение в проектировании и на производстве

06. Статья: Естественные частоты инновационных строительных конструкций с несколькими источниками вибрации

07. Книга: Лекции по геометрии. Семестр I. Аналитическая геометрия

08. Статья: ВКОНТАКТЕ КАК КАНАЛ КОММУНИКАЦИИ ДЛЯ МОЛОДЕЖИ

09. Статья: РОЛЬ ЛИНГВОКРЕАТИВНОСТИ В ФОРМИРОВАНИИ ОБРАЗА КОММУНИСТИЧЕСКОЙ ПАРТИИ КИТАЯ В РУССКОЯЗЫЧНОЙ БЛОГОСФЕРЕ

10. Книга: Пески и песчаные почвы

Все права на тексты и товарные знаки принадлежат их законным владельцам. Подробнее...

Сайт https://scinetwork.ru (далее – Сайт) представляет собой платформу, на которой пользователи самостоятельно добавляют и публикуют метаинформацию о материалах разных видов (названия, обложки, аннотации, данные об авторах и т.п.). Администрация Сайта не занимается самостоятельным сбором или первоначальной публикацией этих сведений.

Модерация контента

На Сайте действует постмодерация. Это означает, что материалы, добавляемые пользователями, становятся общедоступными сразу после публикации и проверяются Администрацией Сайта постфактум в разумные сроки.

Использование информации

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

Отказ от гарантий

Администрация Сайта не гарантирует точность, полноту и достоверность метаинформации, размещенной пользователями, поскольку не осуществляет ее предварительную проверку.

Ответственность

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