Interprocedural static slicing of binary executables

Kiss, J. Jász, G. Lehotai, T. Gyimóthy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

33 Citations (Scopus)

Abstract

Although the slicing of programs written in a high-level language has been widely studied in the literature, very little work has been published on the slicing of binary executable programs. The lack of existing solutions is really hard to understand since the application domain for slicing binaries is similar to that for slicing high-level languages. We present a method for the interprocedural static slicing of binary executables. We applied our slicing method to real size binaries and achieved an interprocedural slice size of between 56%-68%. We used conservative approaches to handle unresolved function calls and branching instructions. Our current implementation contains an imprecise (but safe) memory dependence model as well. However, this conservative slicing method might still be useful in analysing large binary programs. We suggest some improvements to eliminate useless edges from dependence graphs as well.

Original languageEnglish
Title of host publicationProceedings - 3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages118-127
Number of pages10
ISBN (Electronic)0769520057, 9780769520056
DOIs
Publication statusPublished - Jan 1 2003
Event3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003 - Amsterdam, Netherlands
Duration: Sep 26 2003Sep 27 2003

Publication series

NameProceedings - 3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003

Other

Other3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003
CountryNetherlands
CityAmsterdam
Period9/26/039/27/03

    Fingerprint

Keywords

  • Application software
  • Assembly
  • Automatic control
  • Conferences
  • Data analysis
  • Electronic mail
  • Equations
  • Flow graphs
  • High level languages
  • Viruses (medical)

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

Cite this

Kiss, Jász, J., Lehotai, G., & Gyimóthy, T. (2003). Interprocedural static slicing of binary executables. In Proceedings - 3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003 (pp. 118-127). [1238038] (Proceedings - 3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SCAM.2003.1238038