name: Поиск ошибок в бинарном коде методами динамической символьной интерпретации
keyword_list: гибридный фаззинг предикат безопасности безопасный цикл разработки ПО анализ бинарного кода динамическая символьная интерпретация поиск ошибок
abstract: Объект: динамическая символьная интерпретация для поиска ошибок.
  Цель: разработка метода поиска ошибок в бинарном коде методами динамической символьной интерпретации. Метод должен иметь возможность применения в контексте гибридного фаззинга, сочетающего в себе динамическую символьную интерпретацию и фаззинг с обратной связью по покрытию.
  Методы исследования: динамический анализ программ, динамическая символьная интерпретация, анализ бинарного кода, теория компиляторов, анализ потока данных, гибридный фаззинг, динамическая двоичная трансляция.
  Результаты: алгоритм слайсинга предиката пути, который
  позволяет устранять избыточные ограничения во время динамической
  символьной интерпретации; теоремы о конечности и корректности алгоритма; формальная оценка асимптотической сложности алгоритма; метод моделирования семантики функций; метод построения предикатов безопасности для обнаружения ошибок деления на нуль, выхода за границу массива и целочисленного переполнения при помощи
  динамической символьной интерпретации; метод автоматизированного поиска ошибок при помощи символьных предикатов безопасности после гибридного фаззинга.
  Внедрение: в центре Доверенного Искусственного Интеллекта ИСП РАН.
  Область применения: Поиск ошибок в бинарном коде во время динамического анализа для обеспечения безопасного цикла разработки ПО.
chairman_dissertation_council.name: Арутюн
chairman_dissertation_council.surname: Аветисян
chairman_dissertation_council.patronymic: Ишханович
chairman_dissertation_council.position: Директор
chairman_dissertation_council.degree: Доктор физико-математических наук
chairman_dissertation_council.rank: Академик
chairman_dissertation_council.wos_research_id: E-6121-2017
chairman_dissertation_council.scopus_author_id: 56274803200
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Арутюн
organization_supervisor.surname: Аветисян
organization_supervisor.patronymic: Ишханович
organization_supervisor.position: Директор
organization_supervisor.territory: РОССИЯ
rubrics.code: 50.41.17
rubrics.name: Системное программное обеспечение
oecds.code: 01.02.ET
oecds.name: COMPUTER SCIENCE, INFORMATION SYSTEMS
speciality_codes.name: Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
speciality_codes.code: 2.3.5.
supervisors.fio: Федотов А.Н.
supervisors.scientific_degree: Кандидат технических наук
supervisors.speciality_code: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
supervisors.responsible_type: Научный руководитель
opponents.fio: Ильин В.А.
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Теоретическая физика
opponents.responsible_type: Оппонент
opponents.fio: Маркин Д.О.
opponents.scientific_degree: Кандидат технических наук
opponents.speciality_code: Методы и системы защиты информации, информационная безопасность
opponents.responsible_type: Оппонент
protection_organization.short_name: ИСП РАН
protection_organization.name: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
protection_organization.ogrn: 1037700067327
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.short_name: ИСП РАН
author_organization.name: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
author_organization.ogrn: 1037700067327
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные бюджетные учреждения