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


Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей.

М.К. Ермаков, А.Ю. Герасимов.

Аннотация

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

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

динамический анализ, обнаружение дефектов, параллельные вычисления, распределенные вычисления.

Издание

Труды Института системного программирования РАН, том 25, 2013, стр. 29-38.

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

DOI: 10.15514/ISPRAS-2013-25-2

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