Proceedings of ISP RAS


Avalanche: Using dynamic analysis for automatic defect detection in programs based on network sockets.

Ildar Isaev, Denis Sidorov, Alexander Gerasimov, Mikhail Ermakov.

Abstract

This article describes an attempt to modify and use Avalanche tool for dynamic analysis and testing of programs reading input data from network sockets. The technique of received data substitution is introduced, and it’s Valgrind based implementation is described. An overview of interception and handling of network system calls is provided. The results of analysis of open-source network applications are included, as well as a list of newly discovered defects.

Keywords

dynamic analysis; defect detection; testing

Edition

Proceedings of the Institute for System Programming, vol. 21, 2011, pp. 55-70.

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume