Survey of software dynamic analysis methods

V. V. Kulyamin<sup>ab

a</sup> Lomonosov Moscow State University
^b Ivannikov Institute for System Programming of the RAS

Abstract: The article presents a survey of software dynamic analysis methods. The main focus of the survey is on methods supported by tools, targeted on software security verification and applicable to system software. The survey examines in detail fuzzing and dynamic symbolic execution techniques. Dynamic taint data analysis is excluded due to difficulty of gathering technical details of its implementation. Review of fuzzing and dynamic symbolic execution is focused mostly on the techniques used in supporting tools, not on tools themselves, because their number exceeds 100 already. Also, the techniques of fuzzing counteraction are surveyed.

Keywords: software dynamic analysis, verification, fuzzing, dynamic symbolic execution, runtime verification, fuzzing counteraction

DOI: 10.15514/ISPRAS-2023-35(4)-1