Using static symbolic execution to detect buffer overflows IA Dudina, AA Belevantsev Programming and Computer Software 43, 277-288, 2017 | 28 | 2017 |
Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя ВК Кошелев, ИА Дудина, ВИ Игнатьев, АИ Борзилов Труды Института системного программирования РАН 27 (5), 59-86, 2015 | 20* | 2015 |
Разработка и реализация облачной системы для решения высокопроизводительных задач АО Кудрявцев, ВК Кошелев, АО Избышев, ИА Дудина, ... Труды Института системного программирования РАН 24, 13-34, 2013 | 16 | 2013 |
Design and development of Svace static analyzers A Belevantsev, A Borodin, I Dudina, V Ignatiev, A Izbyshev, S Polyakov, ... 2018 Ivannikov Memorial Workshop (IVMEM), 3-9, 2018 | 15 | 2018 |
Поиск ошибок доступа к буферу в программах на языке C/C++ ИА Дудина, ВК Кошелев, АЕ Бородин Труды Института системного программирования РАН 28 (4), 149-168, 2016 | 15* | 2016 |
Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения АЕ Бородин, ИА Дудина Труды Института системного программирования РАН 32 (6), 87-100, 2020 | 5* | 2020 |
Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа ИА Дудина Труды Института системного программирования РАН 28 (5), 119-134, 2016 | 5* | 2016 |
Interprocedural taint analysis for LLVM-bitcode VK Koshelev, AO Izbyshev, IA Dudina Programming and Computer Software 41, 237-245, 2015 | 5 | 2015 |
Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM ВК Кошелев, АО Избышев, ИА Дудина Труды Института системного программирования РАН 26 (2), 97-118, 2014 | 5 | 2014 |
Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях ИА Дудина, АО Кудрявцев, СС Гайсарян Труды Института системного программирования РАН 24, 35-48, 2013 | 5 | 2013 |
SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study N Malyshev, I Dudina, D Kutz, A Novikov, S Vartanov 2019 Ivannikov Ispras Open Conference (ISPRAS), 9-15, 2019 | 4 | 2019 |
Intraprocedural Analysis Based on Symbolic Execution for Bug Detection AE Borodin, IA Dudina Programming and Computer Software 47 (8), 858-865, 2021 | 3 | 2021 |
Buffer overflow detection via static analysis: expectations vs. reality IA Dudina Труды Института системного программирования РАН 30 (3), 21-30, 2018 | 3 | 2018 |
Применение статического символьного выполнения для поиска ошибок доступа к буферу ИА Дудина, АА Белеванцев Программирование, 3-17, 2017 | 2 | 2017 |
Об одном подходе к анализу строк в языке Си для поиска переполнения буфера ИА Дудина, НЕ Малышев Труды Института системного программирования РАН 30 (5), 55-74, 2018 | 1 | 2018 |
Interprocedural taint analysis for LLVM-bitcode VK Koshelev, AO Izbyshev, IA Dudina Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2014 | 1 | 2014 |
Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения ИА Дудина Московский государственный университет имени МВ Ломоносова, 2019 | | 2019 |