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