|
ELF dynamic analysis tool for IoT systems with symbolic execution
R. D. Kovalenko, A. N. Makarov Ivannikov Institute for System Programming of the RAS
Abstract:
As a result of background work on analysis in embedded Linux OS, the authors created the ELF (embedded linux fuzzing) tool that provides functionality for use in conventional dynamic analysis tools working with IoT devices. The article discusses the use of full-system symbolic execution for the analysis of IoT systems based on Linux kernels, describes how to integrate S2E full-system symbolic execution frameworks into the ELF tool environment, as well as the possibility of applicability of the resulting toolchain to the implementation of distributed hybrid IoT fuzzing.
Keywords:
fuzzing, symbolic execution, IoT-device, Linux
Citation:
R. D. Kovalenko, A. N. Makarov, “ELF dynamic analysis tool for IoT systems with symbolic execution”, Proceedings of ISP RAS, 34:4 (2022), 35–48
Linking options:
https://www.mathnet.ru/eng/tisp703 https://www.mathnet.ru/eng/tisp/v34/i4/p35
|
Statistics & downloads: |
Abstract page: | 7 | Full-text PDF : | 8 |
|