ИСТИНА

Игнатьев Валерий Николаевич пользователь

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, доцент, с 1 сентября 2022, по совместительству

кандидат физико-математических наук с 2015 года

ИСП РАН

Соавторы: Белеванцев А.А., Беляев М.В., Шимчик Н.В., Аветисян А.И., Журихин Д.М., Борзилов А.И., Дудина И.А., Иванников В.П., Кошелев В.К., Романенков Е.С., Evgeny V., Koryabkin D.A., Бородин А.Е. показать полностью..., Избышев А.О., Карцев В., Корябкин Д.Н., Поляков С.В., Рагозина П., Тяжкороб У.

18 статей, 10 докладов на конференциях, 4 тезисов докладов, 1 НИР, 3 свидетельства о регистрации прав на ПО, 1 диссертация, 1 учебный курс

Количество цитирований статей в журналах по данным Web of Science: 23, Scopus: 33
РИНЦ:

IstinaResearcherID (IRID): 240038649

ResearcherID: AAI-7593-2021

Scopus Author ID: 56450707900

ORCID: 0000-0003-3192-1390

Деятельность

---

• Статьи в журналах

  • • 2022 Irbis: static taint analysis for vulnerabilities detection in C/C++
    • Шимчик Н.В., Игнатьев В.Н., Белеванцев А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал)
  • • 2022 Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа
    • Рагозина П., Игнатьев В.Н.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 35
  • • 2022 Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение
    • Карцев В., Игнатьев В.Н.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 35
  • • 2022 Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа
    • Тяжкороб У., Игнатьев В.Н., Белеванцев А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 35
  • • 2020 Моделирование библиотечных функций в промышленном статическом анализаторе кода
    • БЕЛЯЕВ М.В., РОМАНЕНКОВ Е.С., ИГНАТЬЕВ В.Н.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 3, с. 21-31 DOI
  • • 2019 Поиск уязвимостей при помощи статического анализа помеченных данных
    • Шимчик Н.В., Игнатьев В.Н.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 31, № 3, с. 177-190 DOI
  • 
    • 2018 Comparative Analysis of Two Approaches to Static Taint Analysis
    • Belyaev M.V., Shimchik N.V., Ignatyev V.N., Belevantsev A.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 44, № 6, с. 459-466 DOI
  • 
    • 2017 SharpChecker: Static analysis tool for C# programs
    • Koshelev V.K., Ignatiev V.N., Borzilov A.I., Belevantsev A.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 43, № 4, с. 268-276 DOI
  • • 2017 Сравнительный анализ двух подходов к статическому анализу помеченных данных
    • Беляев М.В., Шимчик Н.В., Игнатьев В.Н., Белеванцев А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 29, № 3, с. 99-116 DOI
  • • 2015 Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя
    • Кошелев В.К., Дудина И.А., Игнатьев В.И., Борзилов А.И.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 5, с. 59-86 DOI
  • 
    • 2014 Static analyzer Svace for finding defects in a source program code
    • Ivannikov V.P., Belevantsev A.A., Borodin A.E., Ignatiev V.N., Zhurikhin D.M., Avetisyan A.I.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 40, № 5, с. 265-275 DOI
  • • 2014 Статический анализатор Svace для поиска дефектов в исходном коде программ
    • Иванников В.П., Белеванцев А.А., Бородин А.Е., Игнатьев В.Н., Журихин Д.М., Аветисян А.И., Леонов М.И.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 231 -250 DOI

• Статьи в сборниках

  • • 2022 Automatic Mining of Code Fix Patterns from Code Repositories
    • Koryabkin D.A., Игнатьев В.Н.
    • в сборнике Ivannikov Memorial Workshop Proceedings 2022
  • • 2021 Exception Analysis for Errors Detection in the SharpChecker Static Analyzer for C#
    • Belyaev Mikhail, Ignatyev Valery
    • в сборнике 2021 Ivannikov Ispras Open Conference (ISPRAS), место издания IEEE DOI
  • • 2021 Improving Accuracy and Completeness of Source Code Static Taint Analysis
    • Shimchik N.V., Ignatyev V.N., Belevantsev A.A.
    • в сборнике 2021 Ivannikov Ispras Open Conference (ISPRAS), место издания IEEE DOI
  • • 2020 Modeling of library functions in an industrial static code analyzer
    • Belyaev Mikhail, Romanenkov Egor, Ignatyev Valery
    • в сборнике Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCOSE 2020)
  • 
    • 2019 Detection of Variable Misuse Using Static Analysis Combined with Machine Learning
    • Morgachev Gleb, Ignatyev Valery, Belevantsev Andrey
    • в сборнике Proceedings 2019 Ivannikov Ispras Open Conference, издательство Conference Pub. Services, IEEE Computer Society (Los Alamitos, Calif., United States), с. 16-24 DOI
  • 
    • 2018 Design and Development of Svace Static Analyzers
    • Andrey Belevantsev, Alexey Borodin, Irina Dudina, Valery Ignatiev, Alexey Izbyshev, Sergey Polyakov, Evgeny Velesevich, Dmitry Zhurikhin
    • в сборнике Ivannikov Memorial Workshop, место издания IEEE Computer Society Conference Publishing Services Yerevan, Armeniya, с. 3-9 DOI

• Доклады на конференциях

  • • 2022 Irbis: static taint analysis for vulnerabilities detection in C/C++ (Устный)
    • Авторы: Shimchick N.V., Ignatiev V.N.
    • ISPRAS Open 2022, Москва, Россия, 1-2 декабря 2022
  • • 2022 Automatic Mining of Code Fix Patterns from Code Repositories (Устный)
    • Авторы: Koryabkin D.A., Ignatiev V.N.
    • IVMEM 2022, Казань, Россия, 23-24 сентября 2022
  • • 2022 Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа (Устный)
    • Авторы: Рагозина П., Игнатьев В.Н.
    • IVMEM 2022, Казань, Россия, 23-24 сентября 2022
  • • 2022 Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение (Устный)
    • Авторы: Карцев В., Игнатьев В.Н.
    • IVMEM 2022, Казань, Россия, 23-24 сентября 2022
  • • 2022 Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа (Устный)
    • Авторы: Тяжкороб У., Игнатьев В.Н.
    • IVMEM 2022, Казань, Россия, 23-24 сентября 2022
  • • 2022 Поиск ошибок в исходном коде на основе истории исправлений с помощью методов машинного обучения (Устный)
    • Авторы: Игнатьев В.Н., Корябкин Д.Н.
    • Ломоносовские чтения - 2022, Секция вычислительная математика и кибернетика, 14-22 апреля 2022, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 14-22 апреля 2022
  • • 2019 Vulnerabilities Detection via Static Taint Analysis (Устный)
    • Авторы: Valery Ignatyev, Nikita Shimchik
    • Spring/Summer Young Researchers' Colloquium on Software Engineering - 2019, Саратов, Россия, 29-31 мая 2019
  • • 2019 Средства достижения масштабируемости инструмента статического поиска ошибок в программах на языке С# (Устный)
    • Авторы: Беляев М.В., Игнатьев В.Н.
    • «Ломоносовские чтения - 2019». Секция «ВМК», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2018 Design and development of Svace static analyzers (Устный)
    • Авторы: Andrey Belevantsev, Alexey Borodin, Irina Dudina, Dmitry Zhurikhin, Alexey Izbyshev, Sergey Polyakov, Evgeny Velesevich, Valery Ignatiev
    • Ivannikov Memorial Workshop, Ереван, Армения, 3-4 мая 2018
  • • 2018 Статический анализ помеченных данных для поиска ошибок в программах на языке С# (Устный)
    • Авторы: Беляев М.В., Аветисян А.И., Игнатьев В.Н.
    • Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018

• Тезисы докладов

  • • 2022 Поиск ошибок в исходном коде на основе истории исправлений с помощью методов машинного обучения
    • Игнатьев В.Н., Корябкин Д.Н.
    • в сборнике Ломоносовские чтения-2022: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов, серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, издательство ООО "МАКС Пресс" (Москва), тезисы, с. 97-99
  • • 2020 Повышение точности анализа помеченных данных с помощью символьных вычислений
    • Игнатьев В.Н., Корябкин Д.А., Шимчик Н.В.
    • в сборнике Ломоносовские чтения-2020. Секция «Вычислительной математики и кибернетики», серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), тезисы, с. 81-82
  • • 2019 Средства достижения масштабируемости инструмента статического поиска ошибок в программах на языке С#
    • Игнатьев В.Н., Беляев М.В.
    • в сборнике Научная конференция ЛОМОНОСОВСКИЕ ЧТЕНИЯ. Тезисы докладов. 15-25 апреля 2019 г., серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, Факультет вычислительной математики и кибернетики, издательство ООО "МАКС Пресс" (Москва), тезисы, с. 62-63
  • • 2018 Статический анализ помеченных данных для поиска ошибок в программах на языке С#
    • Игнатьев В.Н., Аветисян А.И., Беляев М.В.
    • в сборнике Ломоносовские чтения 2018 ф-т ВМК МГУ, место издания Макс-Пресс, тезисы, с. 16-17

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Исследование методов построения систем анализа и проектирования программного обеспечения
    • Кафедра системного программирования
    • Руководитель: Аветисян А.И. Ответственный исполнитель: Корухова Л.С. Участники НИР: Архипенко К.В., Батузов К.А., Бахтин В.А., Белеванцев А.А., Гомзин А.Г., Дудина И.А., Иванишин В.А., Игнатьев В.Н., Козырев В.И., Корныхин Е.В., Кузьменкова Е.А., Кукушкин К.В., Кулямин В.В., Майоров В.Д., Малышев Н.Е., Малышко В.В., Манушин Д.В., Ниськов Ф.В., Падарян В.А., Петренко А.К., Соловьев М.А., Теймуразов К.Б., Турдаков Д.Ю., Хорошилов А.В.

• Свидетельства о регистрации прав на программное обеспечение

  • • 2022 Статический анализатор Svace (SOFT)
    • Авторы: Аветисян А.И., Афанасьев В.О., Белеванцев А.А., Беляев М.В., Бескровный А.В., Бородин А.Е., Вартанов С.П., Велесевич Е.А., Волков А.Е., Гайсарян С.С., Дворцова В.В., Дудина И.А., Журихин Д.М., Иванов Д.А., Игнатьев В.Н., Избышев А.О., Малышев Н.Е., Несов В.С., Поляков С.А., Сыромятников С.В., Шимчик Н.В.
    • #2022618173, 5 мая
  • • 2019 Подсистема валидации предупреждений об ошибках, сгенерированных анализатором помеченных данных, с помощью методов символьного выполнения (SOFT)
    • Авторы: Шимчик Н.В., Корябкин Д.А., Игнатьев В.Н., Беляев М.В.
    • #2019661044, 16 августа
  • • 2019 Инфраструктура статического анализа помеченных данных для программ на языках Си и C++ (SOFT)
    • Авторы: Шимчик Н.В., Корябкин Д.А., Игнатьев В.Н., Беляев М.В.
    • #2019660638, 9 августа

• Диссертация

  • • 2015 Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Игнатьев Валерий Николаевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Белеванцев Андрей Андреевич, д.ф.-м.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.087.01 при ИСП РАН

• Авторство учебных курсов

  • • 2010 Формальные языки и автоматы
    • Авторы: Игнатьев В.Н., Серебряков В.А.

• Преподавание учебных курсов

  • • с 1 января 2018 Формальные языки и автоматы
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
    • обязательная, базовой части, лекции

---