A Survey of Software Dynamic Analysis Methods

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...

Full description

Saved in:
Bibliographic Details
Published in:Programming and computer software 2024-02, Vol.50 (1), p.90-114
Main Author: Kuliamin, V. V.
Format: Article
Language:English
Subjects:
Artificial Intelligence
Automation
Computer Science
Data analysis
Mutation
Operating Systems
Software
Software Engineering
Software Engineering/Programming and Operating Systems
Software quality
Software testing
Verification
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0361-7688
1608-3261
DOI:10.1134/S0361768824010079