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

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