Методы оптимизации алгоритмов статического и динамического анализа программ
Семинары
Лаборатория информационных технологий
Общелабораторный семинар
Дата и время: среда, 27 ноября 2024 г., в 15:00
Место: конференц-зал, Лаборатория информационных технологий, онлайн в Webinar
Тема семинара: «Методы оптимизации алгоритмов статического и динамического анализа программ»
Докладчик: Севак Саргсян
Доклад посвящен разработке методов оптимизации алгоритмов статического и динамического анализа программ с целью повышения безопасности и качества программного обеспечения. Растущая сложность программных систем и увеличение числа выявляемых уязвимостей требуют создания более эффективных инструментов анализа. В докладе приводится описание разработанной платформы для интеграции различных методов анализа, которая позволяет собирать и использовать артефакты большого объема открытого ПО, а также реализовать единообразный подход к комбинированию методов. Также будут представлены новые методы для поиска клонов кода и копий известных уязвимостей, обнаружения утечек памяти и других ошибок, связанных с использованием динамической памяти, а также разнообразные методы фаззинга для различных сценариев анализа программ. Будут продемонстрированы примеры множества ошибок, найденных в реальных программах с использованием разработанных методов.