Сборники трудов ИСП РАН


Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах, использующих сетевые сокеты.

И.К. Исаев, Д.В. Сидоров, А.Ю. Герасимов, М.К. Ермаков.

Аннотация

В данной статье рассматривается модификация и применение инструмента Avalanche для проведения динамического анализа и тестирования приложений, получающих входные данные через сокеты. Вводится концепция замены получаемых данных, описывается реализация этой концепции при помощи средств Valgrind. Разбирается перехват и обработка системных вызовов, используемых при работе с сокетами. Рассматривается применение модифицированной версии инструмента для анализа сетевых приложений c открытым исходным кодом, перечисляются обнаруженные во время анализа дефекты.

Ключевые слова

динамический анализ; обнаружение ошибок; тестирование

Издание

Труды Института системного программирования РАН, том 21, 2011, стр. 55-70.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома