Methods for optimising algorithms for static and dynamic program analysis
Seminars
Laboratory of Information Technologies
Joint Laboratory Seminar
Date and Time: Wednesday, 27 November 2024, at 3:00 PM
Venue: Conference Hall, Meshcheryakov Laboratory of Information Technologies, online on Webinar
Seminar topic: “Methods for optimising algorithms for static and dynamic program analysis”
Speaker: Sevak Sargsyan
Доклад посвящен разработке методов оптимизации алгоритмов статического и динамического анализа программ с целью повышения безопасности и качества программного обеспечения. Растущая сложность программных систем и увеличение числа выявляемых уязвимостей требуют создания более эффективных инструментов анализа. В докладе приводится описание разработанной платформы для интеграции различных методов анализа, которая позволяет собирать и использовать артефакты большого объема открытого ПО, а также реализовать единообразный подход к комбинированию методов. Также будут представлены новые методы для поиска клонов кода и копий известных уязвимостей, обнаружения утечек памяти и других ошибок, связанных с использованием динамической памяти, а также разнообразные методы фаззинга для различных сценариев анализа программ. Будут продемонстрированы примеры множества ошибок, найденных в реальных программах с использованием разработанных методов.