@inproceedings{,
    author = {Kinder, Johannes; Veith, Helmut; Zuleger, Florian},
    title = {An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries},
    editor = {Jones, Neil D.; Müller-Olm, Markus},
    booktitle = {Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings},
    series = {Lecture Notes in Computer Science},
    journal = {},
    address = {Berlin ; Heidelberg},
    publisher = {Springer},
    edition = {},
    year = {2009},
    isbn = {978-3-540-93900-9 ; 978-3-540-93899-6},
    volume = {5403},
    number =  {},
    pages = {214-228},
    url = {https://doi.org/10.1007/978-3-540-93900-9_19},
    doi = {10.1007/978-3-540-93900-9_19},
    keywords = {},
    abstract = {},
    note = {},
    
    
    
}