Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution
T. D. Ovasapyan, P. V. Knyazev, D. A. Moskvin · Automatic Control and Computer Sciences · 2021
Abstract— 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.