Влада Логунова, сотрудник отдела Компиляторных технологий ИСП РАН им. В.П. Иванникова.
Окончила Московский физико-технический институт. Сфера научных интересов включает анализ бинарного кода, внедрение
технологий динамического анализа для жизненного цикла безопасной разработки ПО (SDL), применение техник динамической символьной интерпретации для гибридного фаззинг-тестирования.
В настоящее время особую актуальность приобретают задачи обеспечения технологической независимости программно-аппаратного стека, включающие в себя разработку средств автоматизированного тестирования для осуществления жизненного цикла безопасной разработки ПО (SDL). Одним из подобных подходов к тестированию в рамках динамического анализа является динамическая символьная интерпретация (ДСИ), преимущество которой заключается в высокой точности анализа и возможности целенаправленно находить и устранять программные дефекты на ранних стадиях разработки. В данной работе ставится задача применения техник динамической символьной интерпретации для бинарных приложений на отечественной процессорной RISC-архитектуре Байкал-М (AArch64). Предложенное решение на основе интерпретатора Sydr не требует наличия исходного кода приложения или использования дополнительных промежуточных представлений для последующей интерпретации.
Анна Новомлинская, исполнительный директор консорциума OS DAY, an@ispras.ru
Адрес: Москва, ул. Губкина, д. 8, этаж 9, конференц-зал.
Уважаемые коллеги! Для прохода в здание МИАН РАН просим принести документ, удостоверяющий личность.