Влада Логунова
Окончила Московский физико-технический институт. Сфера научных интересов включает анализ бинарного кода, внедрение технологий динамического анализа для жизненного цикла безопасной разработки ПО (SDL), применение техник динамической символьной интерпретации для гибридного фаззинг-тестирования.
Динамическая символьная интерпретация приложений архитектуры RISCV64
Современный комплекс мер для безопасной разработки программного обеспечения требует системного применения инструментов автоматического тестирования. К подобным средствам относится динамическая символьная интерпретация. Данный вид анализа строит при запуске абстрактную модель пути исполнения программы с целью инвертирования условных переходов. Благодаря аналитическим вычислениям такой подход способен открывать новые пути и обнаруживать скрытые программные дефекты при динамическом анализе в рамках жизненного цикла разработки ПО. Задачей данной работы является применение техник динамической символьной интерпретации для приложений открытой процессорной архитектуры RISCV64. Предложенное решение осуществляет символьную интерпретацию посредством инструмента Sydr на уровне бинарного кода без этапа трансляции в промежуточное представление. Для работы с абстрактными моделями Sydr использует открытый фреймворк Triton, в который была добавлена символьная семантика набора целочисленных инструкций RISCV.
Скачатьтезисы
Организаторы
При поддержке
Информационные партнеры
Регистрация
Программный комитет
Место проведения
«Точка-кипения РЭУ».
О проекте
Ежегодная научно-практическая конференция OS DAY проводится в России с 2014 года. Это коммуникационная площадка для теоретиков и практиков системного программирования и разработки операционных платформ, место консолидации российских разработчиков ОС и поиска точек для совместной деятельности.
Главные задачи конференции – определить перспективные направления и технологии в сфере разработки операционных систем, обозначить главные вызовы современной IT-отрасли и помочь разработчикам, производителям и заказчикам обменяться опытом.
Организаторы: ИСП РАН, DZ Systems, «Базальт СПО», ФГБУ «НИЦ «Институт имени Н.Е. Жуковского», «Лаборатория Касперского», РЕД СОФТ, Группа Астра, «Криптософт» и Открытая мобильная платформа.
'%3e%3cpath%20d='M16.3638%2033.7494L16.3638%2028.6357L21.4774%2028.6357C18.6532%2028.6357%2016.3638%2030.9252%2016.3638%2033.7494Z'%20fill='%230B818E'/%3e%3c/g%3e%3cg%20clip-path='url(%23clip1_690_7108)'%3e%3cpath%20d='M16.3638%2023.5221L16.3638%2028.6357L11.2502%2028.6357C14.0743%2028.6357%2016.3638%2026.3463%2016.3638%2023.5221Z'%20fill='%230B818E'/%3e%3c/g%3e%3cdefs%3e%3cclipPath%20id='clip0_690_7108'%3e%3crect%20width='5.11362'%20height='5.11361'%20fill='white'%20transform='matrix(4.37113e-08%201%201%20-4.37114e-08%2016.3638%2028.6357)'/%3e%3c/clipPath%3e%3cclipPath%20id='clip1_690_7108'%3e%3crect%20width='5.11362'%20height='5.11361'%20fill='white'%20transform='matrix(4.37113e-08%20-1%20-1%20-4.37114e-08%2016.3638%2028.6357)'/%3e%3c/clipPath%3e%3c/defs%3e%3c/svg%3e)
