@inproceedings{VMCAI-2009-KinderZV,
author = "Johannes Kinder and Florian Zuleger and Helmut Veith",
booktitle = "{Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation}",
doi = "10.1007/978-3-540-93900-9_19",
isbn = "978-3-540-93899-6",
pages = "214--228",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries}",
volume = 5403,
year = 2009,
}
Tags: