Scalable variable and data type detection in a binary rewriter

Autor:	Kapil Anand, Matthew Smithson, Rajeev Barua, Aparna Kotha, Khaled ElWazeer
Rok vydání:	2013
Předmět:	Intermediate language Correctness Floating point Computer science media_common.quotation_subject computer.file_format Parallel computing computer.software_genre Data type Computer Graphics and Computer-Aided Design Debugging Scalability x86 Compiler Executable computer Software media_common
Zdroj:	PLDI
ISSN:	1558-1160 0362-1340
DOI:	10.1145/2499370.2462165
Popis:	We present scalable static analyses to recover variables, data types, and function prototypes from stripped x86 executables (without symbol or debug information) and obtain a functional intermediate representation (IR) for analysis and rewriting purposes. Our techniques on average run 352X faster than current techniques and still have the same precision. This enables analyzing executables as large as millions of instructions in minutes which is not possible using existing techniques. Our techniques can recover variables allocated to the floating point stack unlike current techniques. We have integrated our techniques to obtain a compiler level IR that works correctly if recompiled and produces the same output as the input executable. We demonstrate scalability, precision and correctness of our proposed techniques by evaluating them on the complete SPEC2006 benchmarks suite.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41c4bc2fb98eab6ab9c7ef3dd4b34aae https://doi.org/10.1145/2499370.2462165 Zobrazit plný text záznamu