Шамиль Курмангалеев

Avatar1

Шамиль Курмангалеев, ведущий научный сотрудник отдела компиляторных технологий ИСП РАН.

Защитил кандидатскую диссертацию посвященную проблемам оптимизации, переносимость и запутывания программ на языках C/C++. Возглавляет группу, проводящую исследования в области статического и динамического анализа программ, руководит разработкой программного комплекса Crusher. Его исследовательские интересы включают технологии компиляторов, различные приложения статического и динамического анализа и методы их сочетания. Руководит аспирантами, курсовыми и дипломными работами.


Повышение эффективности гибридного фаззинга с помощью метода поиска перспективных условных переходов


Метод фаззинга протоколов с использованием модифицированного клиента


Метод совмещения результатов статического и динамического анализа для цикла разработки безопасного программного обеспечения

При разработке программного обеспечения разработчики допускают ошибки. Чем крупнее разрабатываемый продукт, тем больше вероятность наличия в нём ошибки. В настоящее время размер исходных текстов программ достигает миллионов строк кода. Та́кие объёмы кода не представляется возможным проверить экспертным методом, особенно учитывая постоянное его изменение в процессе разработки. В связи с этим для уменьшения количества ошибок в разрабатываемом программном обеспечении применяют инструменты, основанные на технологиях статического и динамического анализа. Обе эти технологии имеют ряд недостатков, которые можно устранить за счет их объединения в единое средство анализа. В докладе будет представлена реализация данной идеи на примере интеграции инструмента динамического анализа Crusher с инструментами статического анализа.


Организаторы

При поддержке

Информационные партнеры