Например, Бобцов

Разработка алгоритмов статического поиска выходов за пределы динамического массива в С/C++ программах

Сборник тезисов
Конференция:VI Всероссийский конгресс молодых ученых
Раздел:Информационные и интеллектуальные системы и технологии
Рубрика:Информационные технологии
Год:2016

Разработка алгоритмов статического поиска выходов за пределы динамического массива в С/C++ программах

УДК:004.056.2

Аннотация

В работе был разработан новый анализатор, работающий на уровне LLVM-IR и использующий анализ "по требованию". Показано, что во многих случаях анализатор работает лучше, чем известные анализаторы. Производительность анализатора позволяет обрабатывать большие программы, содержащие сотни тысяч строк.

Материалы конференций