Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution

— Automated search for vulnerabilities in ARM IoT devices is considered. The problems of using symbolic execution for vulnerability detection are investigated. A dynamic symbolic execution approach with taint analysis is proposed to improve the efficiency of vulnerability detection, which eliminates...

Full description

Saved in:
Bibliographic Details
Published in:Automatic control and computer sciences 2021-12, Vol.55 (8), p.932-940
Main Authors: Ovasapyan, T. D., Knyazev, P. V., Moskvin, D. A.
Format: Article
Language:English
Subjects:
Automation
Computer Science
Control Structures and Microprogramming
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:— Automated search for vulnerabilities in ARM IoT devices is considered. The problems of using symbolic execution for vulnerability detection are investigated. A dynamic symbolic execution approach with taint analysis is proposed to improve the efficiency of vulnerability detection, which eliminates the problems that arise when using classical symbolic execution.
ISSN:0146-4116
1558-108X
DOI:10.3103/S014641162108023X