Proceedings of the Institute for System Programming of the RAS
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Proceedings of the Institute for System Programming of the RAS, 2022, Volume 34, Issue 4, Pages 35–48
DOI: https://doi.org/10.15514/ISPRAS-2022-34(4)-3 (Mi tisp703) 		 
ELF dynamic analysis tool for IoT systems with symbolic execution

R. D. Kovalenko, A. N. Makarov

Ivannikov Institute for System Programming of the RAS
Full-text PDF (1893 kB)
DOI: https://doi.org/10.15514/ISPRAS-2022-34(4)-3
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
Document Type: Article
Language: Russian
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
Citation in format AMSBIB
\Bibitem{KovMak22}
\by R.~D.~Kovalenko, A.~N.~Makarov
\paper ELF dynamic analysis tool for IoT systems with symbolic execution
\jour Proceedings of ISP RAS
\yr 2022
\vol 34
\issue 4
\pages 35--48
\mathnet{http://mi.mathnet.ru/tisp703}
\crossref{https://doi.org/10.15514/ISPRAS-2022-34(4)-3}
Linking options:
  • https://www.mathnet.ru/eng/tisp703
  • https://www.mathnet.ru/eng/tisp/v34/i4/p35
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Proceedings of the Institute for System Programming of the RAS
    Statistics & downloads:
    Abstract page:7
    Full-text PDF :8
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024