Подготовили и делимся с вами таймкодами стрима докладов с секции «Трансформация и анализ программ» на прошедших Иванниковских чтениях. Сохраняйте в закладках и приятного просмотра! Программа на сайте конференции.

#видоснавечер

- [video] Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС

- [video] Усовершенствованный фаззинг на основе грамматик

- [video] Сильно оптимистичные решения для динамической символьной интерпретации

- [video] Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений

- [video] Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа

- [video] Статический анализатор для языков с поддержкой исключений

- [video] Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа

- [video] Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение

- [video] Обзор методов статического анализа для поиска утечек памяти

- [video] Автоматическое тестирование LLVM-программ со сложными входными структурами данных

- [video] Генерация шаблонов исправлений кода на основе репозиториев

- [video] Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики

- [video] Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер

- [video] Большие трансформеры для генерации кода

- [video] Автоматизация создания окружения при динамическом анализе ПО на основе полносистемного анализа с использованием QEMU

@codemining