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

Семинары

Лаборатория информационных технологий

Общелабораторный семинар

Дата и время: среда, 27 ноября 2024 г., в 15:00

Место: конференц-зал, Лаборатория информационных технологий, онлайн в Webinar

Тема семинара: «Методы оптимизации алгоритмов статического и динамического анализа программ»

Докладчик: Севак Саргсян

Аннотация:

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