Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей
Аннотация
Список литературы
1. И. К. Исаев, Д. В. Сидоров. «Применение динамического анализа при генерации входных данных, демонстрирующих критические ошибки и уязвимости в программах». Программирование, №4, 2010, с. 1-16.
2. Nethercote N., Seward J. “Valgrind: A framework for heavyweight dynamic binary instrumentation”. PLDI, 2007.
3. V. Ganesh and D. Dill. “A decision procedure for bit-vectors and arrays”. In CAV 2007, LNCS 4590, pages 519-531
4. С.П. Вартанов, Д. В. Сидоров «Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов». Труды института системного программирования РАН, том 22, 2012, с. 281-292
Рецензия
Для цитирования:
Ермаков М.К., Герасимов А.Ю. Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей. Труды Института системного программирования РАН. 2013;25:29-38.
For citation:
Ermakov M.K., Gerasimov A.Y. Avalanche: adaptation of parallel and distributed computing for dynamic analysis to improve performance of defect detection. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2013;25:29-38. (In Russ.)