Assembly Function Recognition in Embedded Systems as an Optimization Problem

Matan Avitan, Elena V. Ravve () and Zeev Volkovich
Additional contact information
Matan Avitan: Rafael, Advanced Defense Systems Ltd., Haifa 3102102, Israel
Elena V. Ravve: Department of Software Engineering, Braude College of Engineering, Karmiel 21982, Israel
Zeev Volkovich: Department of Software Engineering, Braude College of Engineering, Karmiel 21982, Israel

Mathematics, 2024, vol. 12, issue 5, 1-23

Abstract: Many different aspects of software system development and verification rely on precise function identification in binary code. Recognition of the source Assembly functions in embedded systems is one of the fundamental challenges in binary program analysis. While numerous approaches assume that the functions are given a priori, correct identification of the functions in binaries remains a great issue. This contribution addresses the problem of uncertainty in binary code in identification of functions, which were optimized during compilation. This paper investigates the difference between debug and optimized functions via modeling of these functions. To do so, we introduce an extensible model-centred hands-on approach for examining similarities between binary functions. The main idea is to model each function using a set of predetermined, experimentally discovered features, and then find a suitable weight vector that could give impact factor to each such a feature. After finding the weight vector, the introduced models of such desired functions can be identified in binary software packages. It means that we reduce the similarity identification problem of the models to a classical version of optimization problems with one optimization criterion. Using our implementation, we found that the proposed approach works smoothly for functions, which contain at least ten Assembly instructions. Our tool guarantees success at a very high level.

Keywords: optimization; debug compilation; optimizing compilation; assembly function; function recognition; embedded systems (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2024
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/12/5/658/pdf (application/pdf)
https://www.mdpi.com/2227-7390/12/5/658/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:12:y:2024:i:5:p:658-:d:1344979

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().