Сборники тезисов • Информационные и интеллектуальные системы и технологии • Информационные технологии
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2017.
Пример заполнения выходных данных:
Громаковский И.Е., Лукин М.А. Разработка алгоритмов статического поиска выходов за пределы динамического массива в С/C++ программах // Сборник тезисов докладов конгресса молодых ученых. Электронное издание [Электронный ресурс]. - Режим доступа: ссылка на страницу с тезисом, своб.
Разработка алгоритмов статического поиска выходов за пределы динамического массива в С/C++ программах
УДК: 004.056.2
Аннотация:
В работе был разработан новый анализатор, работающий на уровне LLVM-IR и использующий анализ "по требованию". Показано, что во многих случаях анализатор работает лучше, чем известные анализаторы. Производительность анализатора позволяет обрабатывать большие программы, содержащие сотни тысяч строк.