Началась трансляция секции по анализу программ на "Иванниковских чтениях" https://www.youtube.com/watch?v=L7ZRV2Voee4 Темы докладов: - Автоматическое тестирование LLVM-программ со сложными входными структурами данных - Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС - Усовершенствованный фаззинг на основе грамматик - Сильно оптимистичные решения для динамической символьной интерпретации - Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений - Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа - Статический анализатор для языков с поддержкой исключений - Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа - Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение - Обзор методов статического анализа для поиска утечек памяти - Генерация шаблонов исправлений кода на основе репозиториев - Большие трансформеры для генерации кода - Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики - Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер - Автоматизация создания окружения при динамическом анализе ПО на основе полносистемного анализа с использованием QEMU