DocumentCode
2810840
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
fYear
2009
fDate
11-13 Dec. 2009
Firstpage
1
Lastpage
4
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CISE.2009.5362985
Filename
5362985
Link To Document