A Survey of Software Dynamic Analysis Methods

V. V. Kuliamin
DOI: https://doi.org/10.1134/s0361768824010079
2024-05-23
Programming and Computer Software
Abstract:A review of software dynamic analysis methods is presented, mainly focusing on the methods supported by tools targeted on software security verification and applicable to system software. Fuzzing, runtime verification and dynamic symbolic execution techniques are considered in detail. Dynamic taint data analysis methods and tools are excluded since gathering technical details on them is complicated. The review of fuzzing and dynamic symbolic execution is focused mostly on the techniques to solve various problems that arise during operation of the tools rather than the particular tools that amount to a number greater than 100. In addition, the fuzzing counteraction techniques are considered.
computer science, software engineering
What problem does this paper attempt to address?