Avalanche - это открытая разработка ИСП РАН, совместно с Samsung. Avalanche использует возможности динамической инструментации программы, предоставляемые Valgrind, для сбора и анализа трассы выполнения программы. Результатом такого анализа становится либо набор входных данных, на которых в программе возникает ошибка, либо набор новых тестовых данных, позволяющий обойти ранее не выполнявшиеся, и соответственно, еще не проверенные, фрагменты программы. Таким образом, имея единственный набор тестовых данных, Avalanche реализует итеративный динамический анализ, при котором программа многократно выполняется на различных, автоматически генерированных тестовых данных, при этом каждый новый запуск увеличивает покрытие кода программы такими тестами.
Докладчик: Сидоров Денис Владимирович, выпускник факультета ВМК МГУ 1999 года, сотрудник ИСП РАН с 1998 года, ведущий разработчик отдела системного программирования (группа анализа программ). Проекты: Klocwork Insight (система обратной инженерии, архитектурного и статического анализа), Avalanche. Области научных интересов: статический и динамический анализ программ, автоматический поиск ошибок в программах, автоматическая трансформация программ.
sdat-seminar