Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
Collection editors:
Jones, Neil D.; Müller-Olm, Markus
Title of conference publication:
Verification, Model Checking, and Abstract Interpretation
Subtitle of conference publication:
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
5403
Conference title:
International Workshop on Verification, Model Checking, and Abstract Interpretation (10., 2009, Savannah, GA)
Venue:
Savannah, GA, USA
Year of conference:
2009
Date of conference beginning:
18.01.2009
Date of conference ending:
20.01.2009
Place of publication:
Berlin ; Heidelberg
Publisher:
Springer
Year:
2009
Pages from - to:
214-228
Language:
Englisch
ISBN:
978-3-540-93900-9 ; 978-3-540-93899-6
BibTeX