Title :
A Method of Type Inference Based on Dataflow Analysis for Decompilation
Author :
Lina Zhou ; Qing Yin ; Liehui Jiang ; Wenjian Yin ; Tieming Liu
Author_Institution :
Nat. Digital Switching Syst. Eng. & Technol. Res. Center, Zhengzhou, China
Abstract :
Type analysis is an important part of decompilation, which has a great impact on the readability and the veracity of the output of decompilation. In this paper we discussed a method of type analysis which was based on dataflow analysis .We inference the type of data during the calculating of the dataflow equations, by constructing the type of multiplicate kinds data of the hierarchical structure for the type lattice and designing dataflow equations which have type-related information.
Keywords :
data flow analysis; reverse engineering; type theory; dataflow analysis; decompilation; type inference; type lattice; Algorithm design and analysis; Data analysis; Data engineering; Equations; High level languages; Information analysis; Lattices; Reverse engineering; Switching systems; Systems engineering and theory;
Conference_Titel :
Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-4507-3
Electronic_ISBN :
978-1-4244-4507-3
DOI :
10.1109/CISE.2009.5362985
