Mapping the semantics of IA-64 simd instructions in binary reverse engineering

Author

Xuemeng, Zhang ; Rongcai, Zhao ; Jianmin, Pang

Author_Institution

Nat. Digital Switching Syst. Eng. & Technol. R&D Center, Henan

fYear

2006

fDate

17-19 Nov. 2006

Firstpage

1

Lastpage

5

Abstract

The new features of IA-64 SIMD instructions make it difficult to map the semantics of machine instructions to higher-level intermediate representations, which is the key problem to binary reverse engineering. This paper presents an effective approach to semantic mapping of IA-64 SIMD instructions, improving existing technologies in two aspects. Our techniques extend the syntax of existing SSL according to the new features of IA-64 architecture and add new algorithms to meet the demand of mapping the semantics of some complicated SIMD instructions. Finally, the relevant techniques are evaluated by a set of programs from the Berkeley multimedia workload with a static binary translator from IA-64 to Alpha. The preliminary results show the originality and effectiveness of the approach

Keywords

computer architecture; instruction sets; multimedia computing; programming language semantics; reverse engineering; IA-64 single instruction multiple data instruction; binary reverse engineering; semantic mapping; semantic specification language; static binary translation; Application software; Assembly; Formal specifications; Natural languages; Object oriented modeling; Research and development; Reverse engineering; Specification languages; Switching systems; Systems engineering and theory;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer-Aided Industrial Design and Conceptual Design, 2006. CAIDCD '06. 7th International Conference on

Conference_Location

Hangzhou

Print_ISBN

1-4244-0683-8

Electronic_ISBN

1-4244-0684-6

Type

conf

DOI

10.1109/CAIDCD.2006.329323

Filename

4127023